OpenAI, 해결되지 않았던 수학 문제 10개를 풀며 '차세대 주요 모델' Astra 발표

OpenAI가 차세대 모델군 이름을 ‘Astra’로 공개하고, 내부 버전이 수학·이론컴퓨터과학의 미해결 문제 10개를 풀었다고 발표했다.

회사는 증명 개요, 연구 논문, Lean 형식화까지 공개해 결과를 검증 가능하게 제시했지만, 밀레니엄 문제는 해결하지 않았다고 밝혔다.

이번 성과는 AI가 장기적 수학 추론과 증명 생성에서 큰 진전을 이뤘다는 신호로 해석되며, 향후 과학적 문제 해결에도 영향을 줄 수 있다.