OpenAI가 차기 주력 모델 'Astra'의 내부 버전으로 10년 이상 진전이 없던 수학·이론컴퓨터과학 난제 10개의 해법을 찾았다고 발표했다고 사이먼 윌리슨이 전했다. 문제당 GPT-5.6 Sol 토큰 가격 기준 2000달러 미만이 들었다고 주장하며, openai/ten-proofs 저장소에 Lean 4 형식화 증명과 논문, 미공개 추론 과정을 모델이 재구성한 PDF까지 공개했다. 다만 윌리슨은 해법에 도달하지 못한 문제 수는 밝히지 않았고 사용한 프롬프트도 공개되지 않았다고 지적했다. 얼마 전 앤트로픽이 Mythos Preview로 10만달러어치 토큰을 써서 암호학 취약점을 발견한 데 이은 성과 경쟁으로, 수학계에서는 '딥블루 순간'이라는 반응과 함께 테렌스 타오가 말한 인간-AI 대규모 협업 '빅 매스매틱스'로의 전환 논의가 가속되고 있다.

• •OpenAI, 차기 모델 Astra 내부 버전으로 10년간 진전 없던 수학·이론CS 난제 10개 해결 주장
• •문제당 GPT-5.6 Sol 토큰 가격 기준 2000달러 미만 소요 주장(실패한 문제 수는 미공개)
• •openai/ten-proofs 저장소에 Lean 4 형식화 증명과 논문, 추론 과정 재구성 PDF 공개—단 프롬프트는 비공개
• •앞서 앤트로픽도 Mythos Preview로 10만달러 투입해 암호학 취약점 발견—프론티어 연구 성과 경쟁 양상
• •수학계는 '딥블루 순간' 반응 속 테렌스 타오의 인간-AI 협업 '빅 매스매틱스' 담론 확산