2,000달러로 10년 난제를 풀다. OpenAI 새 모델 ‘아스트라’가 미해결 수학 문제를 증명하다

한눈에 요약: OpenAI가 미공개 차세대 모델 '아스트라(Astra)'로 수십 년간 풀리지 않던 수학·이론컴퓨터과학 난제 10개를 해결했다고 2026년 8월 1일 발표했다. 계산 비용은 현재 API 요금 기준 단 약 2,000달러. AI가 "주어진 일을 처리하는 도구"를 넘어 "인간도 못 푼 문제의 답을 새로 만들어내는 단계"에 진입했다는 신호다.

STAXION 인사이트: 지금까지 AI는 인간이 이미 아는 것을 빠르게 재조합하는 도구에 가까웠다. 이번 결과가 무거운 이유는, AI가 인간 전문가도 10년 넘게 손대지 못한 문제의 "정답 자체"를 만들어냈다는 점이다. 경쟁력의 축이 'AI를 쓸 줄 아느냐'에서 'AI가 내놓은 결과를 검증하고 내 일에 얹을 줄 아느냐'로 넘어가고 있다.

무슨 일이 있었나

OpenAI는 8월 1일, 아직 공개하지 않은 차세대 모델 아스트라(Astra)가 수학과 이론 컴퓨터과학 분야의 오랜 난제 10개를 풀었다고 밝혔다. 이 문제들은 고차원 기하학, 부호 이론(coding theory), 군론(group theory), 양자 복잡도, 격자 암호, 극단 조합론에 걸쳐 있고, 회사 측 표현으로 "최소 10년, 대부분은 그보다 훨씬 오래 아무 진전이 없던" 문제들이다.

대표적으로 아스트라는 군론의 미해결 난제였던 '비(非)소픽 군(non-sofic group)의 존재'를 증명했고, 수학자 폴 에르되시가 남긴 여러 문제도 해결했다. 작용소 대수 분야의 콘 강성 추측(Connes rigidity conjecture)에 대한 반증도 내놨다.

2,000달러, 그리고 사람의 검증

가장 눈에 띄는 숫자는 비용이다. 열 개의 해답을 모두 생성하는 데 든 계산 비용은 현재 API 요금 기준 약 2,000달러로 추산된다. 수십 년 난제 열 개를 푸는 값이 웬만한 노트북 한 대 값이었다는 뜻이다.

단, AI 혼자 끝낸 것은 아니다. 아스트라가 초기 논증을 만들면, 인간 연구자들이 이를 다듬어 정식 논문으로 완성했다. 그리고 각 증명은 리(Lean) 정리 증명기로 형식화해 기계가 검증 가능한 '정답 증명서'를 만들었다. AI가 답을 제시하고, 사람과 검증 도구가 그 답이 맞는지 확인하는 구조다.

왜 중요한가

수학자 토머스 블룸(Thomas Bloom)은 이번 결과를 "큰 뉴스"라고 평하며, 구성(construction)의 관점에서 기존 AI 수학 성과보다 더 의미 있다고 봤다. 지금까지 AI의 수학 실력은 주로 '이미 정답이 있는 문제를 잘 푸는' 쪽이었다. 이번엔 정답이 없던 문제에서 새 결과를 만들어냈다는 점이 다르다.

아스트라는 여러 에이전트가 몇 시간에서 며칠에 걸쳐 협업하며 길고 복잡한 과제를 처리하도록 설계된 모델이다. 아직 공개 전이며, 미국 정부의 새 규제 절차상 공개 전 연방정부 승인을 거치는 첫 모델이 될 예정이다.

남은 쟁점

'AI가 수학을 정복했다'고 보긴 이르다. 열 개 문제는 신중하게 고른 것이고, 사람의 개입과 형식 검증이 있었기에 신뢰할 수 있는 결과가 됐다. 그러나 방향은 분명하다. AI가 지식을 요약·재현하는 단계에서, 검증 가능한 새 지식을 생산하는 단계로 넘어가는 초입에 우리가 서 있다는 것이다.

---

출처 · The Decoder: "OpenAI announces its next major model Astra by dropping ten previously unsolved math solutions" (2026.08.01) · 이미지 © The Decoder / OpenAI