OpenAI, 차세대 대형 모델 패밀리 'Astra' 확정… 미해결 수학 문제 10개를 한 번에 해결

OpenAI가 차기 주요 모델 제품군의 이름을 'Astra'로 공식 확정하고, 내부 버전의 Astra가 수학 및 이론 컴퓨터 과학 분야에서 이전에 미해결된 문제 10가지를 해결했다는 수학 보고서를 발표했습니다. 이 문제들은 고차원 기하학, 부호 이론, 군론, 양자 복잡성, 격자 암호학, 극값 조합론 등 다양한 분야에 걸쳐 있습니다. 해결된 문제 중에는 군론의 핵심 미해결 질문인 비소픽 군의 존재 증명이 포함되어 있습니다. 맨체스터 대학의 수학자 토마스 블룸은 X에서 이 결과를 '큰 뉴스'라고 부르며, 5월에 발표된 단위 거리 추측에 대한 반례보다 높게 평가했습니다. Astra의 기반이 되는 테스트 시점 추론 기술의 핵심 인물인 노암 브라운은 X에서 OpenAI가 밀레니엄 문제를 포함한 다른 주요 문제들에서는 실패했음을 인정하면서, 문제당 계산 능력을 많이 투입하지 않았고 테스트 시점 계산을 더 확장할 수 있다고 언급했습니다. 브라운은 Astra를 '과학적 추론의 큰 진전'이라고 설명했습니다. 해결 비용은 놀라울 정도로 낮았습니다: OpenAI에 따르면, 필요한 토큰은 Sol 모델의 API 가격으로 약 2,000달러에 해당했습니다. 그런 다음 주장은 인간과 동일한 모델이 함께 원고로 처리했고, 각 증명은 Lean 인증서로 형식화되어 수학적 정확성을 기계로 검증할 수 있게 했습니다. OpenAI는 각 해결책에 대한 모델의 사고 과정에 대한 서술도 게시했습니다. 회사는 원고 준비와 형식화를 돕고 정확성에 책임을 지지만, 수학적 주장 자체는 시스템에서 나온 것이며, 완전히 AI가 생성한 증명에 인간 저자임을 주장하는 것은 시스템의 기여와 진정한 인간 지적 작업의 본질을 모두 잘못 표현하는 것이라고 설명하며, AI와 수학에 관한 라이덴 선언의 서명자들을 언급했습니다. 블룸은 AI가 수학자를 대체한다는 생각을 상대화하며, AI가 한 세기 이상의 수학 이론을 기반으로 하고, 수학자들이 만들었으며, 수학자들이 쓴 모든 것에 대해 훈련받았다면 그렇게 말하는 것은 적절하지 않다고 주장했습니다. 이전 보도에 따르면 CEO 샘 알트만이 워싱턴 D.C.에서 정치인과 규제 당국자들에게 Astra를 시연했으며, Astra는 기존 Sol, Terra, Luna 제품군과는 구별되는 새로운 클래스의 모델로, GPT-6 또는 GPT-5 시리즈 내 변형(예: GPT-5.7)으로 출시될 가능성이 있습니다. Astra는 트럼프 행정부의 새 계획에 따라 공개 출시 전에 연방 정부 검토를 받는 첫 모델이 될 것으로 예상됩니다. 이 모델은 장기간에 걸친 다중 에이전트 협업을 위해 설계되어 복잡한 프로젝트와 고급 수학 작업을 해결하는 것을 목표로 합니다. OpenAI는 시간 또는 며칠에 걸쳐 문제를 작업할 수 있는 AI 시스템을 개발하겠다는 목표를 밝혔으며, 2028년 3월까지 완전 자율 AI 연구원을 완성하는 것을 목표로 하고 있습니다.