OpenAI의 Astra, 오랫동안 풀리지 않던 수학 문제 10개를 해결하다

OpenAI는 내부 모델 Astra가 기하학, 군론, 양자 복잡도 분야의 연구를 포함해 수학과 이론 컴퓨터 과학에서 오랫동안 미해결로 남아 있던 10개의 문제를 해결했다고 밝혔다. 이 발표는 2026년 8월 3일에 보도됐다. 기사에 따르면, 이 문제들에는 nonsofic 군이 존재한다는 증명을 비롯해 Alain Connes와 Ehrhart와 관련된 추측들에 대한 진전, 그리고 Paul Erdős의 목록에 있는 여러 문제들이 포함됐다. OpenAI는 이 증명들이 Lean에서 검증되었으며, 성공한 실행에 대한 총 토큰 비용은 약 2,000달러였다고 밝혔다. 또한 보도는 Anthropic 연구원 Levent Alpoge가 다른 모델을 사용해 24시간 이내에 이 증명들 중 다섯 개를 재현했다고 주장했다고 전했다. 이 기사는 이러한 발전을 수학을 넘어 신약 개발과 재료 과학을 포함한 분야에서 AI가 오랫동안 이어져 온 연구 문제를 해결하는 데 어떻게 도움을 줄 수 있는지에 대한 더 넓은 논쟁의 일부로 다룬다.