OpenAI says unreleased model solved 372 open math problems, including 4D Kakeya

In a post titled 'Sharing AI progress in mathematics,' OpenAI claims an internal model has resolved at least 372 previously open problems in mathematics and theoretical CS. The most notable is the four-dimensional Kakeya conjecture. OpenAI says the work spans more than 700 AI-generated papers. The Economist treated the claim as a potential watershed for machine-driven discovery.

OpenAI has not released the model, so the details of how it works are thin. The output, however, is formal mathematical papers rather than benchmark scores, which shifts the burden to verification. Francesco Maggi, math chair at UT Austin, argued on a widely shared r/singularity thread (1,010 upvotes) that OpenAI appears ready to release roughly 400 proofs at once. His point is that 'discovery is no longer the scarce part; human understanding is.'

The claim lands in a competitive race. Google DeepMind has pursued formal math with AlphaProof-style systems, and labs increasingly use mathematics as a clean showcase for reasoning. A volume claim of hundreds of results is new territory compared with past single-problem headlines. On Hacker News the post drew 1,230 points and 1,404 comments.

Caveats are real. r/OpenAI users are pushing back on rumors that the work touches Millennium Prize problems, since nothing released confirms that. Referees will need months to vet hundreds of papers, and the community will watch for errors, trivial restatements or results already known in the literature. Watch for formal verification (Lean proofs) and independent reviews of the Kakeya result.