OpenAI published 722 manuscripts and proofs addressing longstanding mathematical problems, generated by an unnamed internal frontier AI model, with only 300 results formalized for computer verification. Researchers who reviewed the work told The Verge they found nonsensical explanations, malformed formulas, and results that duplicated existing research, while OpenAI withheld the model's identity and the prompts used to generate the findings.
tomshardware.com
· 2026-10-13
OpenAI published a massive collection of almost 400 mathematical results spanning combinatorics, geometry, number theory, topology, probability and other fields, contained in over 700 manuscripts. The release was so large that OpenAI issued guidance to help researchers navigate its GitHub repository, and some proofs include Lean formalizations for computational verification.
theverge.com
· 2026-10-09
Proofs and Prompts has compiled a running thread of mathematician reactions to OpenAI's 6 October announcement that its models produced solutions to over 100 research-level math problems, including one described as resembling a Quasi-Riemann result. Contributors like Tim Santens and Roman Sauer describe being stunned that the models applied known but obscure techniques across very different problems, and the site says it will keep collecting reactions for another week.
proofsandprompts.com
· 2026-10-09
OpenAI released hundreds of papers containing AI-generated mathematical proofs, following earlier controversy over its models' handling of the Navier-Stokes equations. The Association for Human Mathematics issued a statement condemning the release, which was shared and endorsed by Fields Medalist Terence Tao, arguing the dump of files demonstrates power rather than scholarship. OpenAI's announcement cited consultations with an independent group, the Advisory Group on Mathematics and Artificial Intelligence, but did not mention that the group had actually opposed continued testing of its proprietary models on advanced problems.
futurism.com
· 2026-10-09
On October 6, 2026, OpenAI published a large repository of over 700 mathematical manuscripts claiming to solve significant problems, despite opposition from the mathematical community. The Association for Human Mathematics criticized the release, arguing it disregards scientific norms and was driven by power rather than scholarship.
ahmath.org
· 2026-10-08
On October 6, OpenAI published more than 700 preprints covering various mathematical topics on GitHub, all generated by AI. The move has sparked mixed reactions within the mathematics community, with some celebrating progress and others expressing concern over being pre-empted in their research efforts.
nature.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
The creator of erdosproblems.com, a database of open mathematics problems collected by Paul Erdős, says the site is changing how it handles submissions after a wave of AI-generated solutions arrived with little or no explanation. The founder notes that while AI has helped resolve some longstanding problems, it has also discouraged human mathematicians and led some to dismiss Erdős-style problems as trivial.
erdosproblems.com
· 2026-10-06
A two-year study across 18 Tennessee middle schools tested Khan Academy's AI tutor, Khanmigo, during math remedial sessions. Students who used the AI tutor experienced a slight improvement in math achievement, roughly equivalent to traditional practice, but engagement levels were low, with many students rarely interacting with the AI. The findings suggest that increasing student engagement with AI tutoring tools is crucial for realizing their full potential.
edworkingpapers.com
· 2026-10-06
A recent gathering of innovative startups supported by Convergent Research highlighted the positive outlook among mathematicians regarding AI's influence. While acknowledging significant changes to traditional workflows, many see potential for AI to complement and enhance mathematical research. The discussion reflects a community adapting to rapid technological advancements that challenge conventional problem-solving methods.
terrytao.wordpress.com
· 2026-10-05
OpenAI, Anthropic, and other research organizations have reported significant progress on longstanding mathematical challenges, including solving a Millennium Prize problem, surpassing previous expectations. Their rapid advancements have sparked controversy within the academic community, with some criticizing the pace and approach of AI-driven research. The labs claim they are adapting based on past errors, but the impact of these breakthroughs remains uncertain.
theverge.com
· 2026-10-05
Christian Szegedy recounts his experience growing up immersed in competitive mathematics in Hungary and the subsequent emptiness after his last contest. He compares the pursuit of pure mathematics to exploring an uncharted jungle, emphasizing its challenging yet rewarding nature. Szegedy highlights the personal impact of leaving a deeply ingrained community and activity behind.
docs.google.com
· 2026-10-05
GoKawiil