IT/과학
오픈AI 차세대 모델 '아스트라', 10년 묵은 수학 난제 10개 해결
뉴스보이
2026.08.02. 16:52
뉴스보이
2026.08.02. 16:52
간단 요약
간단 요약
고차원 기하학 등 10개 분야의 난제를 해결하며 차세대 AI의 추론 능력을 입증했습니다.
약 290만 원의 비용으로 성과를 냈으며, 미국 정부의 사전 검토를 받는 첫 모델이 됩니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
오픈AI가 차세대 인공지능 모델 '아스트라(Astra)'를 통해 수학과 컴퓨터 과학 분야의 장기 미해결 난제 10개를 해결했다고 밝혔습니다. 이번에 해결된 과제는 고차원 기하학, 군론, 양자 복잡도, 최근접 벡터 문제 등 복잡한 분야를 아우릅니다.
아스트라는 단순한 문제 풀이를 넘어 새로운 수학적 논증을 생성한 뒤, 정리 증명 프로그램인 '린(Lean)'을 통해 이를 형식화하고 검증하는 과정을 거쳤습니다. 특히 문제 해결에 소요된 토큰 비용은 GPT 5.6 솔(Sol) API 기준으로 약 290만 원(2000달러) 수준에 불과해 높은 경제성을 보였습니다.
샘 올트먼 오픈AI 최고경영자(CEO)는 최근 워싱턴 DC에서 규제 당국자들에게 아스트라를 직접 시연했습니다. 이 모델은 트럼프 대통령의 행정명령에 따라 미국 정부의 사전 검토 절차를 거치는 첫 프런티어 AI 모델이 될 전망입니다.
다만 일각에서는 학계의 동료 평가가 부족하다는 지적도 나옵니다. 2006년 필즈상 수상자인 테렌스 타오는 AI가 생성한 증명을 인간 수학자가 검토하기 어렵다는 점을 들어 난제가 완전히 해결된 것은 아니라고 신중한 입장을 보였습니다.
이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다. AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
• 이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다.
• AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
