AI 1만개가 88시간 달렸다…오픈AI "100년 수학 난제 풀었다"[과학을읽다]

AI 요약

오픈AI는 8일(현지시간) 현재 개발 중인 차세대 AI 모델을 이용해 나비에-스토크스 밀레니엄 문제의 해법을 찾았다고 발표하며, 수학적 증명과 함께 증명 보조 시스템 '린(Lean)'을 이용한 형식화 결과를 공개하고 특정 조건에서 매끄러운 유체가 유한한 시간 안에 특이점을 형성할 수 있음을 보이는 반례를 제시했습니다. 오픈AI는 약 1만개의 AI 에이전트를 병렬로 투입해 첫 작업 시작 88시간 만에 증명을 만들어냈으며, 이 결과는 학계의 독립적 검증을 통과해야 공식적으로 인정된다고 밝혔습니다. 한편 트리스탄 벅마스터와 앤스로픽 소속 연구자 레벤트 알푀게의 선행·동시 연구와 이들이 오픈AI 도구를 사용한 사실을 둘러싼 데이터 활용 및 공로 배분 논란이 제기됐고, 오픈AI는 특정 사용자 데이터를 직접 열람하지는 않았다고 했지만 간접적 영향 가능성은 배제하지 못한다고 밝혔습니다.