OpenAI's math breakthrough points beyond math

AI's conquest of computer programming offered an early demonstration of what happens when models become good enough at a specialized field that experts can no longer treat them as a novelty.

Mathematics appears to be next.

Why it matters : OpenAI's latest mathematical results — which involved releasing hundreds of new proofs generated by a powerful, unreleased model — demonstrate that the startling advances of AI are likely to continue moving across entirely new fields.

Catch up quick : OpenAI on Tuesday released 722 manuscripts organized into 372 groups of findings (" families ") on longstanding mathematical problems, inviting academics and researchers to examine and build on the material.

The reception has mixed scientific excitement with genuine unease.

One Rutgers University mathematician said on X that a result connected to the Riemann hypothesis would warrant an automatic Fields Medal if a human had done the work.

Some mathematicians have questioned these results, as well as another solution OpenAI released last month, asking whether they represent original breakthroughs or draw heavily from previous human input.

Others downplayed the utility of AI-generated math.

"You can discover new math easily," Stephen Wolfram, a renowned computer scientist and physicist who has followed AI closely for years, said at a Tuesday event for the National Museum of Mathematics.

"You can make a trillion theorems easily.

The problem is most of those theorems are not ones that anybody will care about." Zoom in : Like computer programming, mathematics gives AI something unusually valuable: a way to tell when it is right.

A proof can be scrutinized by mathematicians and, increasingly, translated into formal languages that computers can verify line by line.

Similarly, it is immediately possible to know whether autonomously written AI code actually works.

The big picture: Software engineers have already lived through this transition.