OpenAI Unleashes Hundreds More Math Results Upon a Field Already In Shock

OpenAI says an unreleased internal model has produced 372 results that either resolve or make substantial progress on open problems in mathematics and theoretical computer science. The company says almost all were generated by a single AI agent from a single prompt. "This would be a striking difference from OpenAI's earlier blockbuster solution to the Navier-Stokes problem, which was produced through the collective efforts of a 10,000-strong agentic swarm that cost millions of dollars in computing power," reports Scientific American. From the report: OpenAI revealed the results in a GitHub repository at 6 P.M. EDT. The deluge will take mathematicians months to parse through and understand -- including to determine whether the proofs contain novel and important ideas or are mostly mash-ups of existing techniques. But many of the results have already been verified in Lean -- a programming language that validates a proof's logic -- and are therefore all but certain to be correct. Among the results claimed are a solution to the four-dimensional Kakeya conjecture, improvements on some of the world's most important computer algorithms and actual progress toward math's scariest problem, the Riemann hypothesis.

Read more of this story at Slashdot.