오픈AI, 아스트라 내부 버전으로 미해결 난제 10개 성과 발표

무엇을 발표했나

오픈AI는 아스트라 내부 버전이 수학·양자 복잡도·이론 컴퓨터 과학 분야의 미해결 난제 10개에서 성과를 냈다고 발표했다. 2026년 8월 1일 공개한 보고서에서 아스트라는 차세대 주요 모델 제품군으로 처음 공식 소개됐다. 해결 대상에는 고차원 구 충전 상한 개선과 비소픽 군 존재 증명이 포함됐다. 콘스 강직성 추측의 반례와 다색 램지 수의 새로운 하한도 목록에 올랐다.

어떻게 검증했나

아스트라가 먼저 논증을 생성하면 연구진이 이를 논문 형태로 정리했고, 이후 AI가 논증을 정형 증명 시스템 린으로 다시 작성했다. 린은 증명을 기계적으로 검증할 수 있는 형식으로 작성하는 정형 증명 시스템이다. 이 과정을 거쳐 기계적으로 검증 가능한 증명서가 생성됐다. 오픈AI는 문제 10개에 사용된 전체 토큰 비용이 GPT-5.6 솔 API 기준 약 2000달러였다고 밝혔다.

남은 쟁점

맨체스터대학교 수학자 토머스 블룸은 램지 수 관련 결과를 인상적인 성과로 평가했다. 다만 일부 연구자는 모든 증명에 독립적인 동료 평가와 검증이 필요하다고 지적했다. 오픈AI 부사장 노엄 브라운은 밀레니엄 문제를 해결한 것은 아니라고 말했다. 아스트라의 출시 시점은 발표 시점까지 공개되지 않았다.