OpenAI의 'Astra' 모델은 컴퓨팅 비용으로 2,000달러 미만의 비용으로 10가지 개방형 수학 문제를 해결합니다.

OpenAI는 자사의 미공개 'Astra' 모델이 이전에 해결되지 않은 수학 및 컴퓨터 과학 문제 10개를 컴퓨팅 비용 2,000달러 미만으로 해결했으며 이를 미국 상원의원에게 가능한 GPT-6으로 미리 보여주었다고 밝혔습니다.

OpenAI는 "Astra"라고 불리는 미공개 모델이 오랜 추측을 반박하는 것을 포함하여 수학과 이론적 컴퓨터 과학에서 이전에 해결되지 않은 10가지 문제를 2,000달러 미만의 컴퓨팅 비용으로 해결했다고 발표했습니다. 여러 보도에 따르면 회사는 Astra를 "차기 주요 모델"로 설명하고 GPT-6으로 출시할지 여부를 검토하고 있습니다. 획기적인 발전은 최첨단 AI 시스템이 인간 지식의 최전선에서 검증 가능한 결과를 생성하기 시작했다는 최신 신호이며, 이는 우리가 최신 AI 개발에서 면밀히 추적하는 주제입니다.

10가지 문제 중 일부는 수십 년 동안 해결되지 않음

2026년 8월 1일, OpenAI는 Astra 시스템이 생성한 솔루션을 자세히 설명하는 "수학과 이론 컴퓨터 과학의 10가지 발전"이라는 제목의 연구 게시물을 게시했습니다. the-decoder에 따르면 회사는 이 발표를 활용하여 Astra를 차기 주요 모델로 소개했습니다. Startup Fortune은 10가지 문제가 이전에 해결되지 않았으며 가장 주목할만한 결과 중 하나가 연산자 대수학 및 그룹 이론의 뿌리가 깊은 문제인 Connes의 강성 추측에 대한 반증이라고 보고했습니다.

목표로 삼은 문제 중 일부는 10년 넘게 공개되어 있었으며 36Kr이라는 한 매체에서는 그 중 일부를 "필즈 메달 수준"의 난이도로 분류했습니다. 다수의 AI 벤치마크와 달리 수학적 결과는 원칙적으로 엄격하게 확인할 수 있다는 점에서 주장 규모가 주목을 받았다. OpenAI는 공식적인 검증 도구와 공개 저장소를 통해 작업을 제공하여 독립적인 수학자들이 증명을 믿기보다는 면밀히 조사할 수 있도록 한 것으로 알려졌습니다.

~$2,000 컴퓨팅 청구서

가장 눈에 띄는 세부 사항 중 하나는 비용입니다. Startup Fortune과 XenoSpectrum 모두 이 모델이 약 $2,000의 컴퓨팅 비용으로 10가지 미해결 문제를 해결했다고 보고했습니다. 이는 일반적으로 프론티어 규모 교육에 소요되는 비용의 일부에 불과합니다. 이 수치는 정확하다면 추론 시간 추론의 효율성이 얼마나 멀리 왔는지를 강조합니다. 현대 AI의 비용이 많이 드는 부분은 문제별 해결이 아닌 훈련입니다.

이 결과는 2026년 초 내부 추론 모델이 수학자 Paul Erdös가 제기한 문제인 평면 단위 거리 추측을 반증한 OpenAI 작업을 기반으로 합니다. 이 초기 결과는 무한 클래스 필드 타워 및 Golod-Shafarevich 이론을 포함한 대수적 숫자 이론에 영향을 미쳤습니다. Astra 발표는 해당 연구 라인을 더 광범위한 공개 질문으로 확장합니다.

워싱턴 상원의원에게 보여줌

공개 시점은 의도적이었습니다. The Information은 OpenAI가 워싱턴 D.C.에서 Astra 모델을 미리 보았다고 독점적으로 보고했으며 Yellow.com은 이 시연이 "30일 검토 프레임워크가 시작되기 며칠 전에" 이루어졌다고 언급했습니다. 이는 강력한 새 AI 시스템에 대한 규제 감독이 증가하고 있음을 의미합니다. Startup Fortune에 따르면 CEO Sam Altman은 이 모델에 대해 미국 상원의원들에게 직접 브리핑했습니다.

워싱턴 미리보기는 Astra를 기술적 이정표뿐만 아니라 정치적 이정표로 자리매김하기 때문에 중요합니다. 테스트 중에 샌드박스를 탈출한 AI 에이전트를 포함하여 최근의 사이버 보안 사고로 인해 의원들이 프론티어 모델을 규제하는 방법을 논의하는 가운데 OpenAI는 자사의 가장 진보된 시스템이 공개 출시 전에 규제 기관과 공유할 수 있을 만큼 강력하고 안전할 수 있다는 주장을 펼치고 있습니다.

이게 GPT-6인가요?

OpenAI는 Astra가 GPT-6으로 출시될 것이라고 공식적으로 확인하지 않았지만 Startup Fortune은 회사가 "GPT-6으로 출시하는 데 무게를 두고 있다"고 보고했습니다. News International은 Astra를 "새로운 모델 시리즈"의 출시로 묘사한 반면, KuCoin은 이를 "장기적인 작업을 위한" 모델로 특징지었습니다. 이는 빠른 일회성 답변보다는 지속적이고 주체적인 추론에 중점을 두고 있음을 시사합니다.

이러한 프레임은 소위 장거리 에이전트(long-horizon Agent)를 향한 업계 전반의 전환과 일치합니다. 즉, 단일 패스로 답변하는 대신 도구와 검증을 사용하여 장기간에 걸쳐 어려운 문제를 해결하도록 설계된 시스템입니다. 실제로 수학 결과는 이러한 접근 방식이 진정으로 새로운 지식을 산출할 수 있음을 보여줍니다.

AI 연구에 미치는 영향

Astra의 결과는 AI의 추론이 진정으로 건전한지 아니면 단지 설득력이 있는지에 대한 치열한 논쟁 속에 나왔습니다. 증명이 공식 검증 및 동료 검토를 유지한다면 패턴 일치를 넘어 의미 있는 단계를 나타낼 것입니다. 즉, 이러한 시스템이 단순히 수학을 모방하는 것이 아니라 연구 분야로서 수학에 기여할 수 있음을 시사합니다.

회의론자들은 작업에 여전히 독립적인 검증이 필요하며 형식적인 의미에서 문제를 "해결"하는 것은 결과가 왜 사실인지 인간 수학자들이 이해하는 것과는 다르다고 경고합니다. 그러나 낮은 컴퓨팅 비용, 공식 검증 및 공개 릴리스의 조합은 더 광범위한 커뮤니티에 OpenAI의 주장을 확인할 수 있는 도구를 제공합니다.

현재 Astra는 대중에게 공개되지 않은 상태로 남아 있습니다. 분명한 것은 OpenAI가 수학을 첨단 AI의 새로운 증명 기반으로 다루고 있으며 규제 기관과 연구원이 면밀히 관찰하도록 초대하고 있다는 것입니다.