OpenAI, 이미 Astra를 준비… 수학의 ‘딥 블루 순간’을 노리는 유망한 AI 모델
OpenAI already has Astra ready, a promising AI model aiming at something unsettling: mathematics’ Deep Blue moment
TL;DR AI
1분핵심 요약
OpenAI가 내부 모델 Astra를 공개하며, 수년간 미해결이던 수학 문제 10개에서 해결 또는 진전을 이뤘다고 밝혔다.
회사 측은 인간 감독과 Lean 형식화를 거쳐 검증했으며, 총 토큰 비용은 2,000달러 미만이었다고 설명했다.
하지만 여러 수학자들은 독립적 재검토와 더 엄격한 검증이 필요하다며 신중론을 제기했다.
이번 발표는 AI가 연구 수학과 공식 검증, 암호학에 미칠 영향과 모델 경쟁을 한층 부각시켰다.