The New York Times reports:

“If a human did this, it would be an instant Fields Medal, no questions asked.”

That’s how Alex Kontorovich, chair of the department of mathematics at Rutgers, responded to an A.I.-generated proof that OpenAI, the artificial intelligence giant, released on Tuesday.

And that single proof — worthy, in Dr. Kontorovich’s assessment on social media, of arguably the highest honor in the field of mathematics — was just one among more than 350 findings that the firm released that day, all at once.

Not all of them were quite so remarkable. But Martin Bridson, a mathematician at Oxford and the president of the Clay Mathematics Institute, which established the coveted Millennium Prize Problems, called OpenAI’s release “breathtaking.”

“Until very recently, it would have been impossible to imagine that the frontiers of mathematics could move so far in one day,” Dr. Bridson said.

If there had been any doubt that the leaps achieved by artificial intelligence this year would transform the discipline of mathematics, the tens of thousands of pages let loose on Tuesday have put that doubt to rest. The puzzles apparently conquered by OpenAI include crucial open questions in nearly every subfield of math, including algebra, number theory, theoretical computer science, mathematical logic and topology.

None of the proofs fully resolve any of the five remaining Millennium Prize Problems, which were designated at the turn of the century as a way of celebrating mathematics and its vast frontier of mysteries. But the trove of findings seemed to include results that make tangential or related progress on all of them. Perhaps the most significant result — the one Dr. Kontorovich was responding to — was a proof of the “quasi-Riemann hypothesis,” a conjecture related to the best known of the Millennium problems, the Riemann hypothesis, and a possible steppingstone of sorts to its resolution.

Ken Ono, a professor the University of Virginia and the founding mathematician at Axiom Math, a math-focused artificial intelligence firm, wasn’t sure whether the quasi-Riemann solution would be a springboard for solving the original hypothesis. But he said that, as is expected with the original Riemann hypothesis, an encyclopedia of consequences would flow from this result, providing rich fodder for future breakthroughs.

“I imagine many mathematicians, like me, felt like they got punched in the stomach yesterday,” Dr. Ono said of Tuesday’s turmoil. “But that feeling is quickly giving way to excitement and determination. For those working to push mathematics forward, this is a challenge and an invitation to aim higher.” [Continue reading…]

Tristan Buckmaster, NYU Mathematics professor, joins ‘Squawk Box’ to discuss the Navier–Stokes equation, controversy around OpenAI findings: