인공지능의 수학 문제 해결 능력이 예상보다 빠르게 발전하고 있다는 평가가 나왔다고 9일 블록체인 매체 유투데이가 보도했다.카르다노 창립자 찰스 호스킨슨은 최근 유튜브 방송에서 AI가 복잡한 수학 증명을 생성하고 이를 형식적으로 검증하는 수준까지 빠르게 발전했다고 밝혔다.호스킨슨은 특히 나비에-스토크스 방정식과 관련한 AI 생성 해법 주장에 주목했다. 나비에-스토크스 문제는 클레이 수학연구소가 선정한 7대 밀레니엄 난제 가운데 하나로, 3차원 유체의 움직임을 설명하는 방정식에서
오픈AI가 밀레니엄 수학 난제 중 하나인 나비에-스토크스 문제의 해법을 제시했다고 발표했지만, 선행 연구와 공로 배분을 둘러싼 논란이 불거졌다.8일 블록체인 매체 디크립트 등에 따르면 오픈AI는 내부 차세대 모델이 린으로 검증된 증명을 생성해 나비에-스토크스 방정식이 유한한 시간 안에 특이점으로 이어질 수 있음을 보였다고 밝혔다.오픈AI는 약 1만개의 인공지능 에이전트가 88시간 동안 병렬로 작업해 증명을 만들었으며, 이를 단계별 증명 검증 소프트웨어 린으로 확인했다고 설
오픈AI가 AI 에이전트를 활용해 밀레니엄 난제인 나비에–스토크스 존재성과 매끄러움 문제의 해법을 도출했다고 밝혔다.이는 약 1만개의 에이전트를 동시 투입하고 중간 성과에 따라 연구 방향과 연산자원을 조정한 사례로, AI 경쟁이 모델의 벤치마크 성능에서 실제 연구 성과를 만들어내는 생산성 경쟁으로 확대되고 있다.오픈AI는 9월 8일 내부 AI 시스템이 작성한 증명과 증명 보조 도구 린으로 형식화한 결과를 공개했다. 발표에 따르면 매끄러운 외력이 작용하는 조건에서 유체의
오픈AI가 나비에-스토크스 밀레니엄 문제를 풀었다고 주장한 뒤 연구 공로와 AI 학습데이터 활용을 둘러싼 논란이 커지고 있다. 8일 비즈니스인사이더에 따르면 이번 사안은 AI 기업이 사용자 입력을 모델 개선에 활용한 뒤 그 성과로 원 연구자와 경쟁할 수 있는지라는 문제까지 드러냈다.논란은 뉴욕대 수학자 트리스탄 벅마스터와 앤트로픽 소속 수학자 레벤트 알푀게가 8일 논문을 공개하면서 불거졌다. 두 사람은 공기와 물의 움직임을 설명하는 수학이 매끄러운 흐름을 정확히 설명하지 못하는 사례를 찾았다고
주요키워드
인기기사
자산 67조 ‘통합 발전 본사’ 신축한다…1800명 상주 예상
한국남동·중부·서부·남부·동서발전 등 5개 발전공기업을 하나로 합친 ‘㈜한국발전’이 내년 10월 출범한다.정부는 한국전력이 지분 100%를 갖는 매머드급
이한영 강원도의원 "현수막 걸고 자축할 때 아니다…예산 내실 면밀히 점검해야"
이한영 강원특별자치도의회 의원이 강원도의 국비 확보 성과에 대해 외형적 수치보다 사업의 질적 내용을 챙겨야 한다고 지적했다. 이 의원은 5일 SNS를 통해...
이란, 한국의 호르무즈 해협 파병에 “침략 당사자 직접적 지지로 간주...심각한 결과 초래”
이란이 한국에 호르무즈 해협 파병은 침략 행위 당사자를 직접적으로 지지하는 것으로 간주할 것이고 심각한 결과를 초래할 것임을 경고했다. 에스마일 바가이 이란 외무부 대변인은 7일 소셜미디어 엑스에 글을 올려 “이란과 대한민국의 관계는 64년이 넘는 역사를 지니고 있으며 양국 관계는 줄곧 상호 존중을 바탕으로 발전해
김해평야 올해 첫 벼베기 시작했습니다
우리나라 3대 곡창지대로 알려진 김해평야에서 지난 4일 올해 첫 벼베기를 시작했다. 이날 김해 삼정동 이인규 쌀전업농김해시연합회장 논에서 조생종 해담벼를 수확했다
전체 물가 떨어져도 추석 성수품은 ‘오른다’
가을 배와 조기 가격이 지난해보다 8% 넘게 오른데 이어 쌀, 달걀 등 주요 성수품도 치솟아 추석 차례상 부담이 커지고 있다. 농축수산물 전체 물가는 하락했지만
최신기사
“보훈 사각지대 없애달라”…권오을 장관 영천서 현장 목소리 청취
권오을 국가보훈부 장관이 11일 영천을 찾아 국가유공자와 유족에 대한 예우 및 지원 강화 방안을 논의하고 지역 보훈 현장의 목소리를 직접 청취했다.이날 방문은 6·25전쟁 전몰군경에 대한 헌정패 수여와 보훈단체장 정책 간담회로 진행됐으며 현장에서 제기되는 현실적인 어려움과 제도 개선
[새얼굴] '이야기를 발견하는 눈'으로 횡성 문화관광 새판 짠다
문화와 관광은 한 지역의 ‘현재’를 보여주는 동시에 ‘미래’를 그려가는 일이다. 지역이 품고 있는 역사와 사람, 자연과 생활의 가치를 발견하고 이를 새로운 콘텐츠와 이야기로 연결할 때 비로소 지역만의 문화적 자산이 된다.횡성문화관광재단의 새로운 수장으로 취임하는 김대중 대표이사는 오랜 언론인으로서의 경험과 지역 문화 현장에서 쌓아온 전문성을 바탕으로 횡성의 문화관광에 새로운 방향을 제시할 인물로 주목받고 있다.김 대표이사는 원주고등학교를 거쳐 고려대학교 불어불문학과를 졸업했다. 이후 20여 년간 강원일보 편집국 부국장으로 활
등록금 0원 첫 수시…대구·경북 대학 희비 갈렸다
정부의 지방 국립대 신입생 등록금 전액 지원 방침이 발표된 뒤 처음 치러진 2027학년도 대학 수시모집에서 대구·경북 대학의 희비가 엇갈렸다.국립경국대와 국립금오공대는 지난해보다 경쟁률이 큰 폭으로 올랐지만 대구 거점국립대인 경북대는 소폭 하락했다. 사립대도 영남대·계명대가 뒷걸음친
고령군, 제6기 지역사회보장계획 최종보고회 및 심의 회의 개최
고령군은 9월 10일 군청 우륵홀에서 지역사회보장협의체 위원, 연구진 및 관계 공무원 등 30여 명이 참석한 가운데 ‘제6기 지역사회보장계획 최종보고회 및 심의 회의’를 개최했다. 이번 회의는 향후 4년간 고령군 복지 정책의 이정표가 될 제6기 지역사회보장계획의 수립 경과를 최종 점검하고, 객관적인 사회지
30만원 지원금 놓고 울진군의회 갈렸다…재정·절차 공방
울진군의 전 군민 1인당 30만원 민생안정지원금 예산 140억원이 군의회에서 부결된 가운데, 지급에 찬성했던 무소속 장유덕·김정희·김도엽 의원이 공동 입장문을 내고 군민들에게 사과의 뜻을 밝혔다.앞서 국민의힘 소속 의원들은 △조례상 ‘중대한 위기 상황’을 입증할 객관적 자료 부족 △상