Terry Tao slams frontier labs' theorem proofs as viral marketing, not math progress
deliprao · x · 2026-09-06
Delip Rao relays Terry Tao's criticism: closed frontier labs' efforts to prove historic theorems with AI are largely viral social media marketing and one-upmanship, rather than advancing mathematical understanding or lifting up mathematicians.
Related event: Terry Tao slams closed labs' theorem-proving as viral marketing(2 posts)→
More from Companies & People
- OpenAI hosts ~40 global community meetups to celebrate GPT-6 Astra launch — paw_lean · 2026-09-06
- Rumor: AI labs hiring domain experts in-house for RL data and evals — himanshustwts · 2026-09-06
- a16z charts: critical vulns jump to 600+/month as tech hiring shifts toward experience over skills — a16z · 2026-09-06
- X employee Nikita deletes anonymity-defense tweet, drawing selective-dunking criticism — banteg · 2026-09-06
- Sequoia's Shaun Maguire: VC competition fiercest ever as AI wins pile up — ditzikow · 2026-09-06
- Verdon: labs are speciating, xAI and Meta bet on usability while OpenAI chases frontier — beffjezos · 2026-09-06