Mathematicians debate how AI-generated proofs should reshape the seminar talk
LucaAmb · x · 2026-10-10
A debate on academic talk culture in the AI era, sparked by complaints that authors of AI-assisted proofs "aren't available to take questions."
- Counterpoint: if every talk becomes a torture-exam of the speaker, nobody will volunteer to present
- Proposed format: invite speakers to present several results with short AI-generated summaries of proof ideas, then work through the mathematics together and suggest new problems
- Even before AI, many talks were mostly advertising — grand claims, little proof detail — and shouldn't be romanticized
Tunguz, who boosted the thread, hopes science returns to a curiosity- and learning-driven culture.
Related event: Mathematicians Rethink Talks as AI Takes Over Proofs(2 posts)→
More from AGI Musings
- Musk: The Sun Will Power Far More Digital Intelligence Than Atom-Shaping in Space — XFreeze · 2026-10-11
- The Acemoglu-Gans Exchange: economists spar over AI's real economic impact — joshgans · 2026-10-11
- Fields Medalist on OpenAI Math Release: All My Open Problems Claimed Proved at Once — PianistWinter8293 · 2026-10-11
- Miles Brundage: 'Superintelligence' as a term won't help public adoption — it could backfire — Miles_Brundage · 2026-10-11
- David Sacks rips AI alignment field: 'spectacularly unsuccessful' with nothing to show in 10 years — AndyMasley · 2026-10-11
- Terence Tao's 27-slide deck: math is entering an era of proof abundance — ns123abc · 2026-10-11