Why Mathematical Proof Is a Social Compact | Quanta Magazine

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

• 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
• 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
• Philosophy of Mathematics (Stanford Encyclopedia of Philosophy)plato.stanford.edu
• Artificial Intelligence and the Structure of Mathematicsarxiv.org
• [2603.26524] Mathematical methods and human thought in the age of AIarxiv.org
• How Do Mathematicians Know Their Proofs Are Correct? | Quanta Magazinequantamagazine.org
• Terence Tao – Kepler, Newton, and the true nature of mathematical discoverydwarkesh.com
• Computational Complexityblog.computationalcomplexity.org
• Knowledge Collapse - Boston Reviewbostonreview.net
• A recent experience with ChatGPT 5.5 Pro | Gowers's Webloggowers.wordpress.com