인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다. 나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서
오픈AI가 밀레니엄 수학 난제 중 하나인 나비에-스토크스 문제의 해법을 제시했다고 발표했지만, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다.8일 블록체인 매체 디크립트 등에 따르면 오픈AI는 내부 차세대 모델이 린으로 검증된 증명을 생성해 나비에-스토크스 방정식이 유한한 시간 안에 특이점으로 이어질 수 있음을 보였다고 밝혔다.오픈AI는 약 1만개의 인공지능 에이전트가 88시간 동안 병렬로 작업해 증명을 만들었으며, 이를 단계별 증명 검증 소프트웨어 린으로 확인했다고 설
오픈AI가 AI 에이전트를 활용해 밀레니엄 난제인 나비에–스토크스 존재성과 매끄러움 문제의 해법을 도출했다고 밝혔다.이는 약 1만개의 에이전트를 동시 투입하고 중간 성과에 따라 연구 방향과 연산자원을 조정한 사례로, AI 경쟁이 모델의 벤치마크 성능에서 실제 연구 성과를 만들어내는 생산성 경쟁으로 확대되고 있다.오픈AI는 9월 8일 내부 AI 시스템이 작성한 증명과 증명 보조 도구 린으로 형식화한 결과를 공개했다. 발표에 따르면 매끄러운 외력이 작용하는 조건에서 유체의
오픈AI가 나비에-스토크스 밀레니엄 문제를 풀었다고 주장한 뒤 연구 공로와 AI 학습데이터 활용을 둘러싼 논란이 커지고 있다. 8일 비즈니스인사이더에 따르면 이번 사안은 AI 기업이 사용자 입력을 모델 개선에 활용한 뒤 그 성과로 원 연구자와 경쟁할 수 있는지라는 문제까지 드러냈다.논란은 뉴욕대 수학자 트리스탄 벅마스터와 앤트로픽 소속 수학자 레벤트 알푀게가 8일 논문을 공개하면서 불거졌다. 두 사람은 공기와 물의 움직임을 설명하는 수학이 매끄러운 흐름을 정확히 설명하지 못하는 사례를 찾았다고
인기기사
Generic placeholder image
경남 ‘극한가뭄’ 사실상 해갈…올해 가뭄 걱정 끝
마른 장마와 극한 가뭄이 지속되면서 국가 소방동원령까지 발동된 경남에 광복절 연휴와 8월 말 남부권을 중심으로 호우가 쏟아지면서 올해 극한 가뭄이 사실상 끝이 났
Generic placeholder image
이란, 한국의 호르무즈 해협 파병에 “침략 당사자 직접적 지지로 간주...심각한 결과 초래”
이란이 한국에 호르무즈 해협 파병은 침략 행위 당사자를 직접적으로 지지하는 것으로 간주할 것이고 심각한 결과를 초래할 것임을 경고했다. 에스마일 바가이 이란 외무부 대변인은 7일 소셜미디어 엑스에 글을 올려 “이란과 대한민국의 관계는 64년이 넘는 역사를 지니고 있으며 양국 관계는 줄곧 상호 존중을 바탕으로 발전해
Generic placeholder image
자산 67조 ‘통합 발전 본사’ 신축한다…1800명 상주 예상
한국남동·중부·서부·남부·동서발전 등 5개 발전공기업을 하나로 합친 ‘㈜한국발전’이 내년 10월 출범한다.정부는 한국전력이 지분 100%를 갖는 매머드급
Generic placeholder image
"또 예산이 없다네요"... 자원순환가게, 시민참여 못따라가는 보상
5일전
“시에 예산이 없어 종량제 봉투를 더 이상 못 준다네요.” 남동자원순환가게를 이용하는 한 주민의 얘기다.올해로 시행 6년 차를 맞이한 인천자원순환가게는 올바른 재활용품 분리배출과 지속 가능한 자원순환 문화를 조성한다는 취지로 출발했다.특히, 올해부터 수도권매립지에 직매립이 전면 금지됨에 따라 시는 자원을 장기간 순환시키면서 폐기물 감량 조처로 이 사업을 이끌어 오고 있다.인천자원순환가게는 인천광역시가 2021년 전국 광역시 중 최초로 3개 구 17개소에서 시범운영으로 시작한 사업이다.이후 2022년 8개 구 56곳, 2023년 82
Generic placeholder image
[특징주] HD현대일렉트릭(267260), 데이터센터 전력 수요 폭발…북미서 질주
HD현대일렉트릭은 전력공급의 전 단계에 필요한 다양한 전기전자제품 및 에너지 솔루션을 제작 및 공급하는 기업이다. 올 2분기 연결기준 매출액은 1조1418억원, 영업이익 2870억원을 기록했다.
최신기사
Generic placeholder image
국민의힘 손범규 전 대변인, '강제추행 혐의' 기소
1시간전
같은 당 소속 구의원을 성추행한 혐의를 받는 국민의힘 손범규 전 대변인이 재판에 넘겨졌다.11일 법조계에 따르면 인천지검은 최근 강제추행 혐의로 손 전 대변인을 불구속 기소했다.손 전 대변인은 2023년 2월 인천시 남동구 한 주점에서 같은 당 소속 여성 구의원 A씨를 강제 추행한 혐의를 받고 있다.앞서 A씨의 고소로 수사에 착수한 경찰은 A씨와 동석자 진술 등을 토대로 손 전 대변인의 혐의가 인정된다고 판단했다.손 전 대변인은 경찰 조사에서 "그런 적 없다", "기억이 나지 않는다"며 혐의를 부인한 것으로 알려졌다.
Generic placeholder image
[속보] 이재명 대통령 "시장교란 봉쇄중…휘발유·경유 등 가격은 계속 안정된다"
2시간전
이재명 대통령이 "휘발유, 경유 등 정제유 가격은 계속 안정된다"고 밝혔다. 이 대통령은 12일 자신의 X에 "원유특사 파견 등 원유외교 강화로 원유수입처를 다변화하고, 장...
Generic placeholder image
2026 해군 순항훈련전단 출항
해군 순항훈련전단은 9월 11일 해군사관학교에서 출항 환송행사를 갖고, 130여 일간의 항해에 나섰다. 올해 순항훈련...
Generic placeholder image
국힘 "北 미사일에도 말 한마디 못하는 정부"··· 안보관 비판
3시간전
국민의힘은 12일 북한의 동해상 단거리탄도미사일 발사와 관련 “이재명 대통령은 미사일 쏘는 북한에도, 파병 압박하는 미국에도 제대로 말 한마디 못 하며 ‘페이스메이커’ 주장만 반복하고 있다”며 정부를 비판했다. 장동혁 대표는 이날 자신의 페이스북 글에서 군 전력 강화와 한미 동맹 유지가 대통령과 정부의 책임인데 이재명 정권은 끊임없이 거꾸로 가고 있다고 지적했다. 그러면서 사관학교 통폐합을 “사실상 대한민국 국방 포기 선언”이라고 규정하고 국방부 장관 지명자가 전작권 회수에도 문제없다는 말에 공감한다고 한 데 대해 “골라도 딱 정권
Generic placeholder image
김민석 "지분 나누는 시대 끝나··· 진보·중도·합리적 보수 아우르는 대통합 길 갈 것"
2시간전
김민석 더불어민주당 대표는 12일 “지분을 놓고 나누는 시대는 지났다”며 보수와 중도를 끌어안는 구조적 다수의 진보정당 맏형으로서 진보 개혁정당, 중도보수 세력과 연대하고 대화하겠다고 밝혔다. 김 대표는 이날 평택을 지역위원회 ‘오픈데이’ 행사에 참석해 “우리 당은 진보 정당과 개인, 중도적 개인, 보수적이면서 합리적이고 유능한 분들을 다 함께 끌어안는 대통합의 길을 갈 것”이라며 이같이 말했다. 평택을은 지난 6·3 지방선거와 함께 치러진 국회의원 재선거 당시 김용남 민주당 평택을 지역위원장과 조국 혁신당 혁신정책연구원장 등이 경