IT/과학
오픈AI 차세대 AI ‘아스트라’, 수학·컴퓨터 과학 난제 10개 해결
뉴스보이
2026.08.02. 16:52
뉴스보이
2026.08.02. 16:52
간단 요약
간단 요약
여러 AI 에이전트가 협업하는 방식을 통해 장기 미해결 난제를 성공적으로 풀어냈습니다.
약 290만 원의 비용으로 복잡한 증명 과정을 거쳐 학계의 주목을 받고 있습니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
이 기사는 4개 언론사의 보도를 교차 검증하여 작성되었습니다.
오픈AI가 차세대 인공지능(AI) 모델 ‘아스트라(Astra)’를 통해 수학과 컴퓨터 과학 분야의 장기 미해결 난제 10개를 해결했다고 1일(현지 시각) 밝혔습니다. 아스트라는 단일 모델이 아닌 여러 AI 에이전트가 장시간 협업하는 방식을 채택해 복잡한 프로젝트를 수행하는 능력을 입증했습니다.
이번 성과는 효율성 측면에서도 주목받고 있습니다. 오픈AI는 문제 해결에 소요된 토큰 비용이 GPT 5.6 솔(Sol) API 기준 약 2000달러(약 290만 원)에 불과하다고 설명했습니다. 또한 249쪽 분량의 논문과 62쪽의 해설서, 정리 증명 프로그램 ‘린(Lean)’을 활용한 기계검증 인증서를 함께 공개하며 연구의 신뢰도를 높였습니다.
AI 업계의 수학 연구 경쟁도 치열합니다. 구글 딥마인드는 ‘알레테이아’를, 앤스로픽은 ‘클로드 페이블 5’를 앞세워 난제 해결에 도전하고 있습니다. 오픈AI는 이번 성과를 바탕으로 2028년 3월까지 완전 자율 AI 연구자를 개발하겠다는 장기 로드맵을 가속화할 전망입니다.
다만 일각에서는 신중론도 제기됩니다. 2006년 필즈상 수상자인 테렌스 타오는 AI가 생성한 증명이 인간 수학자가 검토하기 어려운 수준이라며 난제 해결 여부에 의문을 표했습니다. 샘 올트먼 오픈AI CEO는 최근 규제 당국에 아스트라를 직접 시연하며 기술력을 과시했으나, 학계의 동료 평가 등 검증 절차는 향후 과제로 남아 있습니다.
이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다. AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
• 이 콘텐츠는 뉴스보이의 AI 저널리즘 엔진으로 생성 되었으며, 중립성과 사실성을 준수합니다.
• AI가 작성한 초안을 바탕으로 뉴스보이 에디터들이 최종검수하였습니다. (오류신고 : support@curved-road.com)
