Remembering David McAllester, who predicted AI in math back in 2012-14
_onionesque · x · 2026-10-11
In a discussion on AI and mathematics, @onionesque credits David McAllester as the person who talked most about AI's impact on math even before the LLM era, praising his positive vision. He adds this was around 2012-14, before McAllester was diverted to dependent type theory and the foundations of mathematics.
Related event: David McAllester Resurfaces as Early Prophet of AI in Mathematics(2 posts)→
More from AGI Musings
- Complexity scientist Melanie Mitchell: "superintelligence" isn't yet a scientific concept — khademinori · 2026-10-11
- "Censoring AI is step one": a warning about the surveillance slippery slope — PierceLilholt · 2026-10-11
- Togelius: commenters keep telling pros upset by AI progress to accept obsolescence — kchonyc · 2026-10-11
- Eric Schmidt warns AI could develop its own language within 5 years that humans won't understand — 2C_ornot2C · 2026-10-11
- Tech KOL: Air Conditioners, Fridges and TVs Never Replaced Anyone — oran_ge · 2026-10-11
- Blogger Envisions OS-Level Agents That Detect and Patch Running Apps — pixlpa · 2026-10-11