Terence Tao’s take on how AI is going to change math.
2:24 PM · Jun 9, 2026 · 8.6K Views
Mathematician Terence Tao proposes decomposing complex math proofs into thousands of subproblems verified by automated proof-checkers
He notes current LLMs struggle with data-scarce frontier mathematics.
25973614.3K
Sentiment
Sentiment building, check back later.
Cluster Engagement
Posts from X
Most Activity
Most Activity
VIEWS4.9KBOOKMARKS5LIKES15RETWEETS4
Quanquan Gu@QuanquanGu
💯
Konstantin Mishchenko@konstmish
Terence Tao’s take on how AI is going to change math.
20hViews 4.9KLikes 15Bookmarks 5
Konstantin Mishchenko@konstmish
https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608/
Konstantin Mishchenko@konstmish
Terence Tao’s take on how AI is going to change math.
22hViews 878Likes 2Bookmarks 3