Astra가 크랙을 도운 문제는 "최소 10년 동안 핵심 결과에 진전이 없었으며 대부분의 경우 훨씬 더 오래 지속되었습니다"라고 OpenAI는 썼습니다. 결과는 고차원 기하학, 코딩 이론, 산술 회로 복잡성, 그룹 이론, 양자 복잡성, 격자 암호화 및 극단 조합론을 포함한 분야에 걸쳐 있습니다. 이러한 분야에서는 일반적으로 진행 상황이 단일 연구 실행이 아닌 수년 단위로 측정됩니다.
단순한 답변이 아닌 검증된 증거
Astra의 출력과 수학을 추측하는 챗봇을 구분하는 것은 검증입니다. OpenAI는 인간 연구자들이 동일한 모델을 사용하여 주장을 원고로 준비했으며 Astra는 모든 주장을 Lean 인증서로 공식화했다고 말했습니다. Lean은 수학적 주장을 기계로 확인할 수 있는 오픈 소스 증명 보조 도구입니다. 즉, 다른 수학자들이 결과를 믿을 필요가 없습니다. 결과는 몇 초 만에 소프트웨어를 통해 독립적으로 검증될 수 있습니다.
그 구별이 중요합니다. 언어 모델은 미묘하고 치명적인 오류가 포함된 그럴듯해 보이는 증명을 생성할 수 있습니다. OpenAI는 각 주장을 Lean으로 변환하여 마케팅 주장을 확인 가능한 아티팩트로 변환했습니다. 세부 사항을 보고한 BleepingComputer에 따르면 구체적인 발전에는 비소픽 그룹의 존재를 입증하고 그룹 이론의 주요 공개 질문을 해결하는 증거가 포함됩니다. Connes의 강성 추측에 대한 반증; 고차원 구체 패킹의 새로운 경계; 그리고 그 결과 원래 다작의 수학자 Paul Erdös가 제기한 몇 가지 문제가 해결되었습니다.
OpenAI는 이러한 솔루션을 찾는 데 필요한 총 토큰 수는 현재 API 요율로 약 2,000달러가 될 것이라고 지적했습니다. 이는 현대 수학적 발견의 컴퓨팅 공간에 대한 놀라운 데이터 포인트이자 실험실 자체가 아닌 자금이 풍부한 학술 팀의 손이 닿는 범위 내에 최첨단 수준의 연구를 배치하는 것입니다.
수학자들의 반응
The Decoder에 따르면 맨체스터 대학의 수학자이자 Erdös 문제 참조 사이트인 erdosproblems.com을 운영하는 수학자 Thomas Bloom은 X에 대한 결과를 "빅 뉴스"라고 불렀습니다. 그는 5월에 발표된 단위 거리 추측에 대한 반례보다 더 중요하다고 평가했습니다. Bloom은 "단위 거리에 대한 증거보다 크지 않을 수도 있지만 건축 측면에서는 큰 규모입니다."라고 썼습니다.
Bloom은 또한 AI가 수학자들을 대체하고 있다는 프레임에 반대하며 시스템이 100년 이상의 이론을 바탕으로 하고 수학자에 의해 구축되었으며 수학자들이 작성한 모든 것에 대해 훈련을 받았다면 이러한 주장은 말이 되지 않는다고 주장했습니다.
Astra가 사용하는 테스트 시간 추론 기술을 개발한 연구원인 Noam Brown은 더 신중했습니다. "슬프게도 (아직) 밀레니엄 상 문제는 없습니다." 그는 Clay Mathematics Institute가 각 100만 달러를 제공하는 7가지 유명한 문제를 언급하면서 X에 게시했습니다. 2000년 상이 발표된 이후 단 한 가지만 해결되었습니다.
모두가 감동받은 것은 아니었습니다. AI 평론가 Gary Marcus는 Substack 게시물에서 이 모델을 "놀랍지만 지나치게 과매도"라고 불렀습니다. 이는 개척 연구소가 이정표를 주장할 때마다 익숙한 회의론입니다. 진정한 기술적 성취와 판촉 프레임 사이의 긴장이 Astra를 받는 방식을 정의할 가능성이 높습니다.
장시간 작업을 위한 새로운 모델 제품군
정보는 Astra가 장기 실행 워크로드를 위해 구축된 새로운 모델 제품군임을 독립적으로 확인했습니다. OpenAI는 이를 여러 AI 에이전트가 더 큰 문제의 여러 부분에서 협업할 수 있게 해주는 시스템으로 설명합니다. 정리를 증명하거나 대규모 코드베이스를 리팩토링하는 등 몇 초가 아닌 몇 시간 또는 며칠이 걸리는 작업을 겨냥한 설계입니다.
BleepingComputer는 OpenAI가 해당 모델이 GPT-5.7, GPT-6 또는 다른 이름으로 출시될지 여부를 결정하지 않았다고 보고했습니다. CEO Sam Altman은 이미 워싱턴 D.C.에서 Astra를 선보였다고 The Decoder는 보도했습니다. 이는 회사가 정책 입안자 앞에 제시할 수 있을 만큼 충분히 성숙한 시스템으로 보고 있음을 나타냅니다.
정부 검토 장애물
아마도 가장 중요한 세부 사항은 규제일 것입니다. The Decoder에 따르면 Astra는 공개 출시 전에 공식 승인이 필요한 미국 정부 계획 검토 프로세스를 거치는 최초의 모델 중 하나가 될 것입니다. 이는 이전 주력 모델이 결코 직면하지 못했던 출시 일정에 정치적 불확실성을 추가하고 OpenAI가 Astra의 기능을 어떻게 특성화하는지에 대한 이해관계를 높입니다.
데뷔전 역시 치열한 오픈체급 경쟁 속에 다가온다. 며칠 전 Thinking Machines Lab은 Inkling-Small 개방형 중량 모델을 출시했으며 중국 연구소는 계속해서 개방형 프론티어 시스템을 추진하고 있습니다. Astra는 Lean과 같은 도구로 검증된 독점적인 대규모 추론이 여전히 가장 큰 혁신을 향한 길이라는 OpenAI의 확신을 나타냅니다.
현재 Astra는 출시되지 않은 상태로 남아 있습니다. 그러나 수학적 데뷔는 이미 최첨단 AI 시스템이 순수 과학에 어떤 기여를 할 수 있는지, 그리고 대중이 그에 수반되는 주장을 얼마나 면밀히 조사해야 하는지에 대한 대화를 재구성했습니다.
AI보다 앞서 나가세요
Astra 및 더 넓은 프론티어 모델 경쟁과 같은 발전을 따라가고 싶으십니까? 최신 AI 개발에 대한 허브를 북마크에 추가하세요.
AI 뉴스 자세히 보기 →
