오픈AI 차세대 모델 '아스트라', 수학·컴퓨터 과학 10대 난제 해결

오픈AI가 차세대 모델군 아스트라의 내부 버전으로 수학·이론 컴퓨터 과학의 난제 10개를 해결했다고 밝혔다.

해결 과정에는 새로운 수학적 아이디어 생성, 인간 연구자의 논문화, Lean 기반 형식 검증이 포함됐다.

오픈AI는 이를 AI가 단순 보조를 넘어 새로운 정리와 증명을 제안하는 과학적 추론의 진전으로 강조했다.

이번 성과는 양자 복잡도, 격자 암호학, 계산 복잡성 연구에 파급 효과를 줄 것으로 기대된다.