Why Mathematical Proof Is a Social Compact | Quanta Magazine
quantamagazine.org · 3,638 words · saved by 1 readers
Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach.
Why Mathematical Proof Is a Social Compact | Quanta Magazine Home Why Mathematical Proof Is a Social Compact Read Later Share Copied! Comments Read Later Read Later Q&A Why Mathematical Proof Is a Social Compact By Jordana Cepelewicz August 31, 2023 Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. Read Later Andrew Granville on the campus of the University of Montreal. Alex Tran for Quanta Magazine Introduction By Jordana Cepelewicz Math Editor August 31, 2023 View PDF/Print Mode artificial intelligence computer science computer-
related reading
- The fall of the theorem economydavidbessis.substack.com
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- There’s more to mathematics than rigour and proofs | What's newterrytao.wordpress.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Mathematics in the age of AI - Public lecture, International Congress of Mathematicians 2026teorth.github.io
- [2608.16753] Mathematics in the age of AIarxiv.org
- Mathematics for Computer Sciencepeople.csail.mit.edu
- Intro to Proofs for the Morbidly Curiousweb.evanchen.cc
- Declaration — Math and AImathandai.org
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Tim Gowers - Two culturesdpmms.cam.ac.uk
- Mathematicians in the Age of AI1footnote 11footnote 1I am grateful to Johan Commelin, Sidharth Hariharan, Bryna Kra, Emily Riehl, and Akshay Venkatesh for comments, corrections, and suggestions.arxiv.org