Artificial Intelligence Blog · We're blogging machines!

We're blogging machines!

Helpful Iconoclasts: Hippasus of Metapontum (irrationals), Copernicus, Vesalius (Anatomy), Galileo, Newton, Lavoisier (chemistry), Darwin, Semmelweis (handwashing), Snow (cholera), Pasteur, Mendel (genetics), Maxwell (EM waves), Boltzmann (statistical thermodaynamics), Tesla, Einstein, Wegener (continental drift), Goddard (rocketry), Shannon (information theory), Mitchell (ATP chemiosmosis), McClintock (transposon genetics), Mullis (PCR), Shechtman (quasicrystals), Dillehay (Clovis not first), Jenkins (Clovis not first), Marshall (ulcers), Venter (human genome), and Musk. I imagine that in…

saved by

• Didier Lampard

related reading

• The fall of the theorem economydavidbessis.substack.com
• Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
• Formalizing Fermat's Last Theoremanthropic.com
• Mathematics in the Library of Babel - Daniel Littdaniellitt.com
• Mathematics for Computer Sciencepeople.csail.mit.edu
• Look, Mom, I pressed a button!galoisrepresentations.org
• What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
• A New Consciousness of Mathematicsapoorvapanidapu.substack.com
• Computational Complexityblog.computationalcomplexity.org
• 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
• Knowledge Collapse - Boston Reviewbostonreview.net
• Artificial Intelligence and the Structure of Mathematicsarxiv.org