15h ago

Terence Tao warns that AI systems are creating a mathematical bottleneck by generating proofs faster than humans can verify them

SAIR is organizing competitions to filter AI-generated math submissions

——0——
Original post
OPGary Marcus, MIT PhD and NYU Professor Emeritus#153Gary Marcus, MIT PhD and NYU Professor Emeritus@GARYMARCUS

we will have the most science and math submissions ever in the next few years. but most ≠ best. to get to best, quality will have to beat slop

7:06 PM · May 26, 2026 View on X
QUOTE POSTCarlos E. Perez#1598Carlos E. Perez@INTUITMACHINE

Mathematician Terrence Tao about having two lanes of development so as to continually encouage human participation.

SAIRSAIR@SAIRfoundation

Terence Tao: AI is creating a “traffic jam” in math If AI generates more proofs than humans can verify, science needs new infrastructure. SAIR competitions build that infrastructure by surfacing high-quality results, so the best work is not lost in a flood of AI-generated math.

9:20 PM · May 26, 2026 · 42.8K Views
12:29 PM · May 27, 2026 · 20 Views