Mathematicians will 'rage' as AI solves their pet problems, Tao reportedly frustrated

ctjlewis · x · 2026-09-09

sporadica predicts mathematicians will rage rather than celebrate when AI solves their biggest problems, turning public opinion against labs 'for solving math problems.' Quoting lusichu: Terence Tao is reportedly setting up math problem preservation on Mastodon without discussing the proof — his pet problem of two decades. The author argues academic ego will drive increasingly wrong assumptions about AI discoveries.

Original post →

More from AGI Musings

AGI Musings channel →