GoKawiilMathematicians publish crowdsourced reactions to OpenAI's 100+ solved problems
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.
GoKawiil's interpretation of the reporting above, not reported fact.
The reactions suggest a broader unease among mathematicians about what AI-generated proofs mean for how research mathematics is practiced and valued, with some contributors arguing the field must rethink which skills are distinctly human. Because the compilation is informal and anonymized by design, it functions as an early, unfiltered gauge of professional sentiment rather than a formal peer assessment of OpenAI's claims.
- OpenAI announced on 6 October that its models solved 100+ research-level math problems.
- Proofs and Prompts is crowdsourcing anonymous mathematician reactions through mid-October.
- Some mathematicians say the results reuse known techniques in surprising cross-context ways, prompting reflection on AI's role in mathematical research.
Source: proofsandprompts.com — Hosts Of Proofs, 2026-10-09
Published there as: “Reactions to 100 Solutions”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.