IT/과학
오픈AI 차세대 모델 ‘아스트라’, 10년 묵은 수학 난제 10개 해결
뉴스보이
2026.08.02. 16:52
뉴스보이
2026.08.02. 16:52
간단 요약
간단 요약
오픈AI의 차세대 AI 모델 아스트라가 10년 이상 미해결된 수학 난제 10개를 성공적으로 풀어냈습니다.
여러 AI 에이전트가 협업하는 방식을 통해 약 290만 원의 비용으로 연구 성과를 도출했습니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
오픈AI가 차세대 인공지능(AI) 모델 ‘아스트라(Astra)’를 통해 수학과 컴퓨터 과학 분야의 장기 난제 10개를 해결했다고 밝혔습니다. 이번에 해결된 문제들은 일반 양자 게임의 병렬 반복 정리와 최근접 벡터 문제 근사치 증명 등 10년 넘게 성과가 없던 과제들입니다.
아스트라는 여러 AI 에이전트가 장시간 협업하는 방식을 채택했습니다. 도출된 결과물은 정리 증명 프로그램 ‘린(Lean)’을 통해 기계 검증을 거쳤으며, 오픈AI는 249쪽 분량의 논문과 해설, 인증서를 함께 공개했습니다.
경제성 또한 입증했습니다. 문제 해결에 투입된 토큰 비용은 GPT 5.6 솔(Sol) API 기준으로 약 2000달러, 한화 약 290만 원에 불과합니다. 샘 올트먼 오픈AI 최고경영자(CEO)는 최근 미국 워싱턴 DC에서 정책 담당자와 규제 당국자들에게 아스트라를 직접 시연하기도 했습니다.
다만 학계의 동료 평가를 거치지 않아 완벽한 증명으로 보기 어렵다는 신중론도 존재합니다. 아스트라는 향후 트럼프 대통령의 행정명령에 따라 미국 정부의 사전검토 절차를 거치는 첫 프런티어 AI 모델이 될 전망입니다.
이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다. AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
• 이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다.
• AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
