"Everything verifiable will be automated" — a mathematician's career advice for the AI era
thoefler · x · 2026-09-28
The author argues that everything verifiable will eventually be automated. Mathematics is far more than proving theorems; for young researchers, the opportunity is clear: build the automation, write the specifications, and develop verification tools. Links to the author's HLF spark talk are included.
More from AGI Musings
- Critic slams Jensen Huang for repeating 'don't ship it' on frontier model safety — basedjensen · 2026-09-28
- Yoav Goldberg: 29 arXiv papers on JEV just two weeks after its limited release is 'not healthy' — yoavgo · 2026-09-28
- Personal agents in China: the missing piece is tiered permissions, not user skill — sujingshen · 2026-09-28
- MIT Tech Review: in the age of "AI work slop", taste beats output — Olivier__OG · 2026-09-28
- Indian banks make $20B a year on low deposit rates — AI agents could end that — srimisra · 2026-09-28
- Why everyone in AI safety knows each other: a tiny expert pool shaped by EA — burny_tech · 2026-09-28