오픈AI가 차기 주요 모델 아스트라(Astra)의 내부 버전을 활용해 수학, 이론 컴퓨터과학 분야의 난제 10가지에서 상당한 진전을 이뤘다고 발표했어요. 연구는 군 이론(group theory), 복잡도 이론, 암호학, 그래프 이론 등 다양한 분야에 걸쳐 있는데요.

아스트라는 문제를 반증(disproof)하거나 새로운 경계값(upper/lower bound)을 제시했고, 이후 인간 연구자들이 논문으로 정리한 뒤 Lean 언어로 형식적으로 검증 가능한 증명까지 구현했다고 해요. 문제 해법을 찾는 데 필요한 토큰 비용은 GPT-5.6 Sol API 기준 약 2000달러 상당이었다고 하고요, 오픈AI는 결과 도출에 AI 시스템이 활용됐는지 저자 표기에 정직하게 반영해야 한다는 입장을 밝혔습니다.