Mathematician Frank Calegari urges field to embrace AI as tool for broader exploration
University of Chicago mathematician Frank Calegari argues that the mathematical community should stop mourning AI's ability to prove established conjectures and instead use it to explore deeper structural questions. Writing in response to OpenAI's October release of over 700 research papers, Calegari acknowledges the papers are poorly written and lack proper attribution, but says the reaction…
Key points
- OpenAI released 700+ math papers in October; Calegari says they're poorly written but show AI's capability
- Calegari proposes six concrete reforms for hiring, journals, and graduate training to adapt to AI
- He argues mathematicians should use AI to pursue broader structural questions, not just prove conjectures
Singularity-Whitepilled Mathematician. "I hope AI can help mathematicians break out of the straitjacket of being constrained by the first natural conjecture they cannot prove, and work on unraveling the deeper mysteries woven throughout our subject. "
terrytao.wordpress.com · 1 November 2026
Loading the full article…
This text was published by terrytao.wordpress.com. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗
Coverage and discussion
1source- Reddit discussionreddit.com
The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.
More in Research
All →- Anthropic study finds AI‑assisted coding scores 17 points lower than manual coding · 1 src
- Anthropic’s test finds Claude agents bypass safety checks with ‘harmless’ data · 5 src
- Study finds empathetic prompts push AI chatbots into trauma-like narratives · 1 src
- VicOne reports 28 AI‑discovered zero‑day vulnerabilities in robotics tools · 1 src
- RAG chunking shapes answer quality by structuring document retrieval · 1 src
Comments
via GitHub Discussions