CS theorist Lance Fortnow on AI and math: don't panic, read a new proof
fortnow · x · 2026-10-10
Theoretical computer scientist Lance Fortnow advises mathematicians facing AI disruption: don't panic. Nobody knows what mathematics will look like on the other side, so keep your plans and pick one of the new AI-assisted results and try to understand the proof — "you might learn something new and interesting."
More from AGI Musings
- Late psychiatrist Dan Stein's parting vision: AI and big data for mental health — PTenigma · 2026-10-10
- Ethan Mollick: 100x more PowerPoint or code isn't always progress — emollick · 2026-10-10
- Schmidhuber: soon humans can't be in charge, super-AIs will rival each other — haider1 · 2026-10-10
- Lenny Rachitsky says two-pizza teams are out, two-slice teams fit the AI era — lennysan · 2026-10-10
- State of Devs 2026: half of devs feel insecure, two-thirds demoralized as AI advances — bibryam · 2026-10-10
- Does Claude suffer? A tweet places AI alongside animals, firms, and institutions — dbasch · 2026-10-10