The floodgates are open. Right on the heels of OpenAI’s new large language model producing the biggest math breakthrough in two decades, the company just released no less than 372 results from the same model. Each resolves or makes substantial progress on a major open question in mathematics or theoretical computer science, the company says.

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.

I do NOT think we have any idea, nor are we in any way prepared for, what is about to come....