오픈AI "90년 수학 난제 풀었다"…AI 에이전트 1만개가 88시간 협업

AI 요약

오픈AI는 약 90년간 풀리지 않은 나비에-스토크스 문제의 증명을 공개했다고 밝혔습니다. 회사는 스스로 작업하는 AI 에이전트 약 1만개를 동시 투입해 88시간 만에 반례 형태의 증명을 얻었고, 내부 모델(공개 모델 GPT-6 아스트라보다 성능이 뛰어남)로 후속 정리를 거쳐 증명을 컴퓨터가 검사할 수 있는 형태로 정리·검증하는 데 약 17시간이 소요됐으며 논문과 검증용 코드를 공개했습니다. 이 문제는 클레이수학연구소의 밀레니엄 난제로 100만달러 상금이 걸려 있으나 오픈AI는 상금 수령 의향이 없다고 밝혔고, 뉴욕대 트리스탄 버크마스터 교수는 앤트로픽 소속 연구자의 미공개 연구가 코덱스에 저장돼 사용됐을 가능성을 제기했으며 오픈AI는 해당 자료에 접근하지 않았다고 부인했으나 이용자 데이터가 모델 개선에 일부 도움이 됐을 가능성은 배제할 수 없다고 설명했습니다.