AI, 인류 90년 난제까지 넘었다⋯오픈AI “‘밀레니엄 문제’ 해법 제시” [종합]

AI 요약

월스트리트저널(WSJ)은 8일(현지시간) 오픈AI가 미공개 AI 모델이 밀레니엄 프라이즈 문제 중 하나인 나비에-스토크스 방정식의 존재성과 매끄러움 문제의 해법을 찾았고 165쪽 분량의 증명을 제시했으며 형식 검증 언어 린(Lean)으로 검증 결과도 공개했다고 보도했습니다. 오픈AI는 최대 1만개 에이전트를 투입해 약 88시간 동안 270만 개의 메시지를 주고받고 출력 토큰 1300억 개를 사용해 수백만 달러의 컴퓨팅 비용을 들였으며, 해당 미공개 모델은 자사 벤치마크에서 GPT-6 아스트라보다 높은 정확도로 아스트라 약 10% 대비 미공개 모델은 50%를 기록했다고 밝혔습니다. 뉴욕대 수학자 트리스탄 벅마스터와 앤스로픽 소속 레벤트 알포게가 비슷한 접근법으로 공로를 제기했으나 오픈AI는 이들의 비공개 연구에 접근하지 않았다고 반박하고 제품 사용으로 생성된 비식별 데이터의 간접적 활용 가능성은 배제하지 않았으며 밀레니엄 상금 신청은 하지 않겠다고 밝혔습니다.