OpenAI는 내부 모델이 수학과 이론컴퓨터과학의 미해결 문제 372건에서 해법을 제시하거나 의미 있는 진전을 만들었다고 밝혔다. 결과는 GitHub 저장소를 통해 공개됐다. 회사 설명에 따르면 거의 모든 결과는 단일 프롬프트를 받은 하나의 AI 에이전트가 만들었다. 이는 앞서 대규모 에이전트 집단과 막대한 연산 자원이 동원됐던 Navier-Stokes 사례와 다른 방식이다. 공개된 주장에는 4차원 Kakeya conjecture 해법, 주요 알고리즘 개선, Riemann hypothesis 관련 진전이 포함된다.

기술적으로 중요한 지점은 결과 수보다 생성 방식과 검증 가능성이다. 기사에 따르면 많은 결과는 증명의 논리를 확인하는 프로그래밍 언어 Lean에서 이미 검증돼 논리적 정확성은 높게 평가된다. 다만 수학자들은 증명이 새로운 아이디어를 담았는지, 기존 기법의 조합인지, 그리고 단일 프롬프트·단일 에이전트로 재현되는지는 아직 따져봐야 한다고 본다. 모델이 공개되지 않았고 외부 재현도 부족해, 현재로서는 수학 연구 자동화의 가능성과 검증 체계의 한계가 함께 드러난 사례로 읽힌다.