Sharing AI progress in mathematics

In its announcement, OpenAI said it "publishes new results on open problems in mathematics from an internal frontier model"[2] and is sharing Lean proof formalizations and research details on GitHub.Mathematician Gil Kalai wrote on his blog that the release contains "722 manuscripts grouped into 372 families."[3] According to Scientific American, the claimed results include a solution to the four-dimensional Kakeya conjecture and progress toward the Riemann hypothesis[1].Pulse 2.0 reports that OpenAI said the average result took about as much computation as three hours of ChatGPT Pro thinking.[4]A spokesperson told Scientific American that nearly all the results came from a single prompt given to a single AI agent.[1]OpenAI said it consulted the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study[2]. However, Scientific American reports that the group's recommendations ask companies to make public the model, exact prompt and compute time behind each result[1]. According to the magazine, OpenAI is sharing only the average compute time and some extra statistics, with no prompts.[1]Scientific American also reports that Terence Tao has openly criticised frontier AI labs for the "insane" pace of their AI-generated results.[1]Kalai called the release "an amazing milestone for mathematics"[3], but he added that the results must be checked and absorbed by human mathematicians over the coming months.OpenAI said it is "working to responsibly release the model that produced these results."[2]