The article audits 18 chapter‑specific reviews of ten mathematical results announced by OpenAI, examining review standards, Lean formalizations, subsequent research, and references. No confirmed substantive errors remain in the principal results, though review depth varies and some dependencies are only partially checked. Chapter 8 raises the strongest reservation, requiring major revision of compressed analytic arguments, while Chapter 6’s polarity error was corrected after a PDF extraction issue.
By Miko{\l}aj Sienicki, Krzysztof Sienicki
arXiv:2610.17090v1 Announce Type: cross
Abstract: On 6 October 2026 OpenAI published an initial 722 AI-written mathematical manuscripts, organized into 372 problem families, in the public repository...
By Ying Xie
arXiv:2605. 22763v2 Announce Type: replace Abstract: Large language models (LLMs) increasingly excel at mathematical reasoning, but their unreliability limits their utility in mathematics research.
By George Tsoukalas, Anton Kovsharov, Sergey Shirobokov, Anja Surina, Moritz Firsching, Gergely B\'erczi, Francisco J. R. Ruiz, Arun Suggala, Adam Zsolt Wagner, Eric Wieser, Lei Yu, Aja Huang, Mikl\'os Z. Horv\'ath, Andrew Ferraiuolo, Henryk Michalewski, Edward Lockhart, Codrut Grosu, Thomas Hubert, Matej Balog, Pushmeet Kohli, Swarat Chaudhuri
arXiv:2611.06962v1 Announce Type: new
Abstract: Proof assistants such as Lean check mathematical proofs down to the axioms, and AI agents have recently made writing such proofs cheap. We describe Aut...
By Christian Clason, Tapio Helin, Medet Nursultanov, Lauri Oksanen
arXiv:2606. 29687v1 Announce Type: cross Abstract: We report a machine-verified resolution of a problem open for over a decade in quantum optimization: the Farhi, Goldstone and Gutmann (FGG) conjecture that depth-$p$ Quantum Approximate Optimization Algorithm (QAOA) on the ring of disagrees attains approximation ratio $(2p+1)/(2p+2)$ exactly.
By Uri Kol, Maor Ben-Shahar, Kfir Sulimany, Dirk Englund
arXiv:2608.29401v1 Announce Type: cross
Abstract: As several mathematical conjectures have recently been settled using large language models (LLMs), the mathematical community has formulated norms an...
By Axel Boldt