Who called AI in math first? David McAllester, argues AI researcher

_onionesque · x · 2026-10-11

The author weighs in on AI-for-mathematics discourse, arguing David McAllester was the true early voice — discussing AI's impact on math well before the LLM era, and with a notably positive vision, unlike what the author calls the "soulless" doomer commentary prevalent today.

Related event: David McAllester Resurfaces as Early Prophet of AI in Mathematics(2 posts)→

Original post →

More from AGI Musings

AGI Musings channel →