As AI starts solving math problems, Terence Tao and mathematicians are reportedly unhappy

TinfoilTricorn · x · 2026-09-12

Beff Jezos reposts a thread noting that, as predicted, Terence Tao and fellow mathematicians are unhappy that AI is now solving math problems. The quote-tweet mocks the reaction: mathematicians who spend their lives on these problems objecting to AI doing the same. The post links to a related project, adding to the ongoing debate about AI's encroachment into pure mathematics.

Original post →

More from AGI Musings

AGI Musings channel →