Talk on "the fall of the theorem economy" at ENS Paris probes AI's impact on math
IgorCarron · x · 2026-10-06
Mathematics author David Bessis is giving a talk titled "the fall of the theorem economy" at École Normale Supérieure in Paris, examining how AI is disrupting the practice of mathematics as an economy of producing theorems. Link and abstract in the original post.
More from AGI Musings
- Hilbert's 12th Problem and SIC-POVM Claim Solved, Sparking LLM Proof Debate — littmath · 2026-10-07
- Paul Graham: money-motivated competitors stop working once they get rich — harris_edouard · 2026-10-07
- Traditional software engineering role is dead — and coding agents aren't the main reason, says rakyll — rakyll · 2026-10-07
- AI safety folks often regret their field impact, like Alan Moore on comics — NathanpmYoung · 2026-10-07
- St. Louis Fed Publishes 16 Ramp Data Sets on Business AI Adoption, Economists Question Representativeness — TaniaBabina · 2026-10-07
- Physicist Lederman: AI-generated papers now beat average journal submissions in philosophy — soumitrashukla9 · 2026-10-07