OpenAI, 이미 Astra를 준비… 수학의 ‘딥 블루 순간’을 노리는 유망한 AI 모델

OpenAI가 내부 모델 Astra를 공개하며, 수년간 미해결이던 수학 문제 10개에서 해결 또는 진전을 이뤘다고 밝혔다.

회사 측은 인간 감독과 Lean 형식화를 거쳐 검증했으며, 총 토큰 비용은 2,000달러 미만이었다고 설명했다.

하지만 여러 수학자들은 독립적 재검토와 더 엄격한 검증이 필요하다며 신중론을 제기했다.

이번 발표는 AI가 연구 수학과 공식 검증, 암호학에 미칠 영향과 모델 경쟁을 한층 부각시켰다.