Sharing AI progress in mathematics

Axios reports that OpenAI on Tuesday released 722 manuscripts organized into 372 groups of findings ("families")[3], and invited researchers to examine and build on them. OpenAI says it is also sharing Lean proof formalizations and research details on GitHub[4].Scientific American reports that the results claimed include a solution to the four-dimensional Kakeya conjecture[5] and progress toward the Riemann hypothesis. An OpenAI spokesperson told the magazine that the model produced almost every one of the results in response to a single prompt handed to a single AI agent[5].OpenAI says it consulted the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study[4]. Engadget reports, however, that the company didn't release specific compute times for problems or which prompts it used[6]. The spokesperson told Scientific American that the company is not bound by these recommendations[5].According to Scientific American, the spokesperson also said many of the company's newly released results are not yet understood by its own mathematicians[5].Axios reports that the reception has mixed scientific excitement with genuine unease[3]. Stephen Wolfram told a National Museum of Mathematics event that "most of those theorems are not ones that anybody will care about"[3], Axios reports.OpenAI says it is working to responsibly release the model that produced these results[4].