IT/과학
오픈AI ‘아스트라’, 수학 난제 10개 풀었다…정부 사전검토 1호 모델
뉴스보이
2026.08.02. 16:52
뉴스보이
2026.08.02. 16:52
간단 요약
간단 요약
아스트라는 인간의 도움 없이 수학적 논증을 직접 생성해 10년 넘은 난제들을 해결했습니다.
비용은 약 290만 원에 불과하며, 미국 정부의 사전검토 절차를 거치는 첫 모델이 될 전망입니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
오픈AI가 차세대 인공지능(AI) 모델 ‘아스트라(Astra)’를 통해 수학과 컴퓨터 과학 분야의 장기 미해결 난제 10개를 해결하는 성과를 냈습니다. 아스트라는 아직 출시 전인 오픈AI의 차기 핵심 모델로, 최근 샘 올트먼 오픈AI 최고경영자(CEO)가 워싱턴 DC에서 정책 담당자들에게 직접 시연하며 기술력을 입증했습니다.
이번 성과는 AI가 단순한 보조 도구를 넘어 연구 협력자로서 독창적인 논증을 생성했다는 점에서 주목받습니다. 특히 문제 해결에 소요된 비용은 GPT 5.6 솔(Sol) API 기준으로 약 2000달러(약 290만 원)에 불과해 높은 경제성을 보였습니다. 아스트라는 이후 정리 증명 프로그램 ‘린(Lean)’을 통해 논증을 형식화하는 과정을 거쳤습니다.
아스트라는 미국 정부의 사전검토 절차를 거치는 첫 프런티어 AI 모델이 될 예정입니다. 이는 지난 6월 트럼프 대통령이 내린 행정명령에 따른 조치로, 정부 차원의 규제 준수 여부를 확인하는 첫 사례라는 점에서 의미가 큽니다.
학계의 반응은 엇갈립니다. 토마스 블룸 맨체스터대 특별연구원은 램지 이론 난제 해결을 두고 “어마어마한 소식”이라며 높게 평가했습니다. 반면 2006년 필즈상 수상자인 테렌스 타오는 “AI가 생성한 증명을 인간 수학자가 모두 검토하고 수용하기는 어렵다”며 신중한 입장을 보였습니다. 실제로 이번 발표가 학계의 독립적인 동료 평가를 모두 마친 것은 아닙니다.
오픈AI는 이번 성과를 발판 삼아 2028년 3월까지 완전 자율 AI 연구자를 내놓겠다는 장기 로드맵을 추진하고 있습니다.
이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다. AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
• 이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다.
• AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
