A somewhat optimistic view of AI in mathematics – Proofs and Prompts
Robert Wegner, PostDoc at Karlsruhe Institute of Technology I have the impression that recent advances in the deployment of AI for the purpose of mathematical research have made many people uncomfo…
I have the impression that recent advances in the deployment of AI for the purpose of mathematical research have made many people uncomfortable. I want to present my personal view on these matters, which is more optimistic. Let me get the following assumption out of the way: (A1) In the near future, AI results are generally always verified by trustworthy interactive theorem provers. We assume this because it is plausible, and we do not want to discuss the problem of verifying the correctness of a potential flood of AI mathematics. Here are further concepts which may be heavily impacted…
saved by
related reading
- Look, Mom, I pressed a button!galoisrepresentations.org
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- The fall of the theorem economydavidbessis.substack.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Declaration — Math and AImathandai.org
- A beginning for mathematicsdaniellitt.com
- [2608.16753] Mathematics in the age of AIarxiv.org
- AI Safety: A Short FAQ for Mathematiciansalkjash.github.io
- [2608.02859] The crisis of AI-generated mathematicsarxiv.org
- Care for a little more AI?proofsandprompts.com