OpenAI says internal model produced 372 new math results

OpenAI says an unreleased internal model has produced 372 results that resolve or substantially advance open problems in mathematics and theoretical computer science. Almost all were generated by a single AI agent from a single prompt, and many have already been verified in Lean. Claims include a solution to the four-dimensional Kakeya conjecture and progress on the Riemann hypothesis.

• 372 results on open problems in math and theoretical CS
• Almost all generated by one AI agent from a single prompt
• Many proofs already verified in Lean
• Claims include 4D Kakeya conjecture and progress on Riemann hypothesis