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.AI coding tools progressed from autocomplete and debugging to agents capable of writing substantial amounts of software and carrying out complex engineering tasks.The shift has changed not only how code gets written, but what it means to be a programmer, bringing a fair dose of awe, amazement and dread to many lifelong software engineers. Much as software engineers did before them, mathematicians have begun to question the implications of some of the OpenAI discoveries on graduate work, and on training a new generation of theorists.Yes, but: Some software engineers have successfully mapped out the roles humans still play in generating quality products. While new AI coding tools have dramatically increased the code one engineer can ship, humans still play a crucial role in building quality software. Mathematicians have begun to echo that point, noting that the most meaningful advances in their field often involve building a framework or bringing structure to a complex idea. Many are skeptical about whether any AI system will be able to replicate huma