Stanford professor unmoved by AI math proofs: no real-world impact yet, and biology sees nothing surprising either

anshulkundaje · x · 2026-09-09

Stanford professor Anshul Kundaje says he's "kinda meh" about recent esoteric AI-generated math proofs, including a Millennium Prize result: a huge flex and milestone for AI, but as far as he knows most proofs have no immediate real-world impact. He adds that frontier AI models have so far produced nothing remotely unexpected or shocking in biology.

Related event: Stanford professors clash over AI limits: data bottlenecks vs a recent convert's 'it just works'(10 posts)→

Original post →

More from AGI Musings

AGI Musings channel →