OpenAI ‘Astra’, 수학 난제 10개 결과 공개: AI 과학의 승부가 검증으로 옮겨간다 OpenAI가 차세대 모델 Astra의 내부 버전이 장기간 미해결이던 수학·이론컴퓨터과학 문제 10건에 새 결과를 냈다고 발표했습니다. 핵심은 화려한 정답 수보다 논문, Lean 인증서, 독립 검토를 잇는 검증 체계입니다.
