OpenAI는 최소 10년 동안 주요 결과에 진전이 없었던 10개의 수학 및 이론 컴퓨터 과학 문제에 대한 해결책을 공개했습니다. 이는 차기 주요 모델 Astra의 내부 버전을 사용하여 이루어졌습니다.
회사는 각 문제당 GPT-5.6 Sol 토큰 가격으로 $2,000 미만 지출했다고 주장합니다. openai/ten-proofs 저장소에는 이러한 결과의 Lean 4 형식화가 포함되어 있으며, 해결책을 설명하는 논문과 미공개 추론 트레이스에서 증명 과정을 재구성한 LLM 생성 PDF도 포함되어 있습니다.
이 발전은 Terence Tao 수학자가 제안한 '큰 수학' 비전과 일치하며, AI가 대규모 인간-기계 협력에서 기술적인 하중 작업을 처리한다는 것입니다.