인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다. 나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서
오픈AI가 밀레니엄 수학 난제 중 하나인 나비에-스토크스 문제의 해법을 제시했다고 발표했지만, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다.8일 블록체인 매체 디크립트 등에 따르면 오픈AI는 내부 차세대 모델이 린으로 검증된 증명을 생성해 나비에-스토크스 방정식이 유한한 시간 안에 특이점으로 이어질 수 있음을 보였다고 밝혔다.오픈AI는 약 1만개의 인공지능 에이전트가 88시간 동안 병렬로 작업해 증명을 만들었으며, 이를 단계별 증명 검증 소프트웨어 린으로 확인했다고 설
오픈AI가 AI 에이전트를 활용해 밀레니엄 난제인 나비에–스토크스 존재성과 매끄러움 문제의 해법을 도출했다고 밝혔다.이는 약 1만개의 에이전트를 동시 투입하고 중간 성과에 따라 연구 방향과 연산자원을 조정한 사례로, AI 경쟁이 모델의 벤치마크 성능에서 실제 연구 성과를 만들어내는 생산성 경쟁으로 확대되고 있다.오픈AI는 9월 8일 내부 AI 시스템이 작성한 증명과 증명 보조 도구 린으로 형식화한 결과를 공개했다. 발표에 따르면 매끄러운 외력이 작용하는 조건에서 유체의
오픈AI가 나비에-스토크스 밀레니엄 문제를 풀었다고 주장한 뒤 연구 공로와 AI 학습데이터 활용을 둘러싼 논란이 커지고 있다. 8일 비즈니스인사이더에 따르면 이번 사안은 AI 기업이 사용자 입력을 모델 개선에 활용한 뒤 그 성과로 원 연구자와 경쟁할 수 있는지라는 문제까지 드러냈다.논란은 뉴욕대 수학자 트리스탄 벅마스터와 앤트로픽 소속 수학자 레벤트 알푀게가 8일 논문을 공개하면서 불거졌다. 두 사람은 공기와 물의 움직임을 설명하는 수학이 매끄러운 흐름을 정확히 설명하지 못하는 사례를 찾았다고
주요키워드
인기기사
국비 11조·대기업 투자·AI 데이터센터… 강원의 경제지도가 달라진다
강원특별자치도의 산업과 경제 지형이 달라지고 있다. 역대 최대 규모의 국비 확보를 비롯해 대기업 및 대규모 관광 투자 유치, 접경지역 군사 규제 완화, AI 데이터센터 유치, 교통망 확충 등이 잇따르면서 민선 9기 강원도정이 새로운 성장 기반을 구축하는 데 속도를 내고 있다.우상호 강원특별자치도지사는 7일 도청 신관 소회의실에서 열린 9월 정례 기자간담회에서 취임 이후 두 달여간의 주요 성과와 향후 도정 방향을 설명했다.우 지사가 제시한 도정의 핵심은 단순한 기업 유치나 개발사업에 그치지 않는다. 기업 투자를 지역산업과 연결하고,
30년 만에 고도완화...40층 이상 고층건물 들어선다
30년 만에 건축 고도가 완화될지 귀추가 주목된다.6일 제주특별자치도에 따르면 고도 완화를 담은 제주시·서귀포시 도시관리계획 변경안을 제주도의회 454회 정례회에 제출했다. 환경도시위원회는 오는 11일 안건을 심의한다.현재 고도 지구는 1996년 제주도 경관 고도 규제계획이 수립되면서 적용됐다.이번 고도 완화는 도시 외곽의 무분별한 개발을 막고 기존 도심에 주거·상업·복지 기능을 고밀도로 집약하는 압축도시를 실현하면서 건설경기를 부양하기 위해 마련됐다.주요 완화 내용은 ▲상업지역 최고 40층 ▲준주거지역
전체 물가 떨어져도 추석 성수품은 ‘오른다’
가을 배와 조기 가격이 지난해보다 8% 넘게 오른데 이어 쌀, 달걀 등 주요 성수품도 치솟아 추석 차례상 부담이 커지고 있다. 농축수산물 전체 물가는 하락했지만
경남 ‘극한가뭄’ 사실상 해갈…올해 가뭄 걱정 끝
마른 장마와 극한 가뭄이 지속되면서 국가 소방동원령까지 발동된 경남에 광복절 연휴와 8월 말 남부권을 중심으로 호우가 쏟아지면서 올해 극한 가뭄이 사실상 끝이 났
[특징주] HD현대일렉트릭(267260), 데이터센터 전력 수요 폭발…북미서 질주
HD현대일렉트릭은 전력공급의 전 단계에 필요한 다양한 전기전자제품 및 에너지 솔루션을 제작 및 공급하는 기업이다. 올 2분기 연결기준 매출액은 1조1418억원, 영업이익 2870억원을 기록했다.
최신기사
대구 서구 주민의 목소리를 듣다, 「아이 키우기 좋은 교육 환경 조성」 주민 설문조사 실시
대구 서구는 지역 교육환경과 교육 지원 사업에 대한 주민 수요를 파악하고 향후 체계적인 지원 정책 수립의 기초 자료를 확보하기 위해「아이 키우기 좋은 교육 환경 조성」을 위한 주민 설문조사를 실시한다고 밝혔다. 이번 설문조사는 서구에 거주하는 영유아·초·중·고 자녀를 둔 학부모와 교육 환경에 관심 있는 일반 주민을
고령군의회, 군정 주요 사업현장 15개소 찾아 현장 점검
고령군의회는 제315회 고령군의회 제1차 정례회 기간 중인 9월 9일부터 10일까지 이틀간 군정 주요 사업현장 15개소를 방문해 사업 추진상황과 시설 운영 실태 등을 점검했다. 첫날인 9일에는 ▲지역밀착형 공공임대주택 ▲쌍림 파크골프장 조성사업 ▲대가야생활촌 ▲기마문화체험장 등 7개소를 방문했다. 이어 10일에는 ▲다산면 청
「고령군 사회적경제 발굴을 위한 창업아이디어 경진대회 개최」
고령군은 2026년 9월 9일 대가야 행복 드림센터에서 「고령군 사회적경제 발굴을 위한 창업아이디어 경진대회」를 개최하고 경진대회 참가자 중 우수한 아이디어를 제안한 수상자 3팀을 선정하였다. 이번 경진대회는 사회적경제기업을 모델로 창업을 하고자 하는 창업가들의 아이디어를 발굴하기 위해 마련되었으며, 지난 7월부터 사전
강릉경찰서, 유관기관 합동 어린이 교통사고 예방 캠페인 펼쳐
강릉경찰서가 신학기를 맞아 어린이들의 안전한 등굣길 조성과 교통사고 예방을 위해 유관기관과 합동 캠페인을 펼쳤다.강릉경찰서는 11일 오전 8시부터 9시까지 강릉시 교동 율곡초등학교 일원에서 강릉시청과 강릉교육지원청, 녹색어머니회 등 유관기관과 함께 ‘어린이 교통사고 예방 및 착!한 운전 캠페인’을 실시했다.이번 캠페인은 새 학기 등교 시간대 어린이 보행사고를 예방하고, 운전자들의 양보와 배려 운전 문화를 확산하기 위해 마련됐다.참여 기관들은 스쿨존 일대에서 등교하는 어린이들을 대상으로 안전한 횡단보도 건너기 등 보행지도를 실시하고
양양군의회, 11일간 회기 마무리…추경 4,779억원 수정 의결
양양군의회가 9월 1일부터 11일까지 11일간의 회기 일정을 마무리했다. 양양군의회는 이번 회기 동안 제1차 본회의를 시작으로 2025회계연도 결산 승인안과 2026년도 제2회 추가경정예산안, 군정질문을 비롯한 각종 조례안을 심사하고 최종 의결했다.조례심사특별위원회는 「양양군 농업재해 복구비 지원에 관한 조례안」과 「양양군 체육시설 관리운영 조례 일부개정조례안」 등 모두 7건의 조례안을 원안가결했다. 이번 조례 심사는 농업재해 대응과 체육시설 관리 등 군민 생활과 밀접한 분야를 중심으로