“1만개 AI가 88시간 만에”…오픈AI, 100만달러 수학 난제 풀었다고 발표

AI 요약

오픈AI는 미공개 최신 AI 모델과 최대 1만개의 AI 에이전트를 동원해 88시간 만에 나비에-스토크스 존재성과 매끄러움 문제의 증명을 만들어냈다고 발표하며, 해당 증명과 린(Lean)으로 작성한 형식 증명을 공개했습니다. 오픈AI는 이번 증명을 통해 특정 조건에서 특이점이 발생할 수 있음을 보였다고 주장했으나 수학자와 물리학자들은 이것이 현실에서 물이 갑자기 폭발하는 것과 같은 현상을 뜻하지는 않는다고 전했습니다. 공식 해결로 인정되려면 수학계의 검증과 적격 학술지 게재 후 최소 2년의 경과 및 일반적 인정이 필요하며 연구에는 막대한 연산 비용이 들었고 테런스 타오 교수 등은 AI가 난제 해결을 대신하면 인간이 얻는 통찰이 줄어들 수 있다는 우려를 표명했습니다.