오픈AI 차세대 모델 ‘아스트라’... “수학 난제 10개 풀었다”

AI 요약

오픈AI는 차세대 모델 아스트라가 내부 시험에서 고차원 기하학·코딩 이론·군론·산술 회로 복잡도·양자 복잡도·격자 기반 암호학·그래프 이론 등 분야의 최소 10년 이상 진전이 없던 오픈 문제 10개를 해결했다고 2일(현지시간) 발표했습니다. 오픈AI에 따르면 AI가 수학적 논리를 생성하면 연구진이 논문으로 정리하고 증명은 형식 검증 시스템 린(Lean)으로 검증했으며 과정과 추론 워크스루를 공개했고 사용된 전체 토큰 비용은 약 2000달러였습니다. 오픈AI는 수학적 아이디어와 논증 자체는 AI가 생성했으며 증명의 정확성은 오픈AI가 책임진다고 밝히고 샘 올트먼 CEO는 워싱턴DC에서 아스트라를 시연하며 여러 AI 에이전트의 장기 협력이 핵심이라고 설명했습니다.