OpenAI released hundreds of claimed proofs to difficult open math problems using its proprietary models, saying it consulted the Advisory Group on Mathematics and Artificial Intelligence (AGMAI) to avoid prior controversies. But the release violated several of the group's own recommendations, including continuing to test proprietary models on hard problems, releasing chain-of-thought reasoning for only 10 of 719 manuscripts, and leaving 42% of proofs unformalized for human verification.
techcrunch.com
· 2026-10-08
OpenAI released 722 manuscripts addressing progress on 372 significant mathematics problems, generated by an unreleased ChatGPT model, publishing them in a GitHub repository. The company said it largely followed release guidelines set by its advisory group AGMAI, including disclosing the model used and compute costs, though it withheld per-problem compute times and prompts. Claimed results include a solution to the four-dimensional Kakeya conjecture and progress toward the Riemann hypothesis.
engadget.com
· 2026-10-07
OpenAI released 722 manuscripts covering 372 families of mathematical results, produced by an unreleased frontier model, including solutions to what the newly formed Advisory Group on Mathematics and Artificial Intelligence (AGMAI) describes as 'hundreds' of open problems. The release includes reasoning summaries, compute estimates, and claims that the average result required roughly three hours of ChatGPT Pro-level compute. AGMAI, a group of mathematicians formed to oversee communication of such results, had earlier urged AI labs to disclose model names, prompts and compute costs, and to avoid treating math breakthroughs as marketing tools.
theverge.com
· 2026-10-06
OpenAI has formed an independent nine-member Advisory Group on Mathematics and Artificial Intelligence, announced via a post on Terence Tao's blog, meant to help review and communicate the company's mathematical results. The group's first task is reportedly helping coordinate release of numerous new results from an unreleased OpenAI model, but mathematicians who spoke to The Verge, including a group member, described the rollout as messy and confusing.
theverge.com
· 2026-09-28
A group of prominent mathematicians, including Timothy Gowers, Ravi Vakil and Edward Witten, has launched the Advisory Group on Mathematics and Artificial Intelligence, based at Princeton's Institute for Advanced Study and online at agmai.org. The group aims to advise AI companies on how they present and release mathematical results and to serve as a communication channel between the mathematics community and the AI industry.
terrytao.wordpress.com
· 2026-09-21
GoKawiil