The Chalk and the Airplane
Summary
The article discusses how AI and machine learning are impacting mathematics and proofs, exploring shifts in norms, etiquette, and the potential golden age vs dark age of mathematics. It weaves in quotes and references (Tao, Leiden Declaration, Duminil-Copin) to discuss ethics, funding, and the human aspects of AI-assisted discovery.