오픈AI가 차세대 연구용 인공지능 모델 '아스트라(Astra)'를 통해 격자 기반 암호학, 양자 복잡도 등 다양한 분야에서 10년 이상 해결되지 않은 수학 난제 10건을 해결했다고 공개했습니다. 이번 연구는 AI가 아이디어와 증명을 도출하고 인간 연구자가 이를 정리하면, 아스트라가 수학 검증 시스템 '린(Lean)'으로 공식 검증 가능한 형태로 완성하는 방식으로 진행되었습니다. 아스트라는 여러 AI 에이전트가 문제를 분할하여 해결하는 장기 추론 모델이지만, 공식 출시 명칭과 일정은 아직 정해지지 않았습니다.
원문 보기 →