PANews 8월 2일 소식, OpenAI가 연구 성과를 발표하며 차세대 AI 모델 Astra가 수학 및 이론 컴퓨터 과학 분야에서 진전을 이루었다고 밝혔다. 해당 성과는 고차원 기하학, 부호 이론, 군론, 양자 복잡도, 포스트 양자 암호학, 극값 조합론 등의 영역을 다루며, 공개한 10가지 성과는 고차원 구 채우기 문제, 이진 부호 및 구면 부호 문제, 비소픽 군 문제, 콘느 강성 추측, 산술 회로 복잡도 문제, 양자 병렬 반복 문제, 최근접 벡터 문제, 에르하르트 부피 추측, 다색 램지 수 문제, 극값 그래프 이론 추측 등이다.

설명에 따르면, 이러한 성과들은 내부 버전의 Astra 모델이 추론을 완료한 것이며, 해결 방안을 찾는 데 소요된 컴퓨팅 비용은 약 2000달러(Sol API 가격 기준)이다. 이후 인간 연구원들이 동일한 모델을 활용해 논문으로 정리하는 작업을 지원받았고, Lean 형식 증명 시스템을 통해 검증 가능한 증명 인증서를 생성했다.