Why Terence Tao is calling for a slowdown in AI: an SAIR talk on proof indigestion
不er，咋陶哲轩也成AI减速派了？？
What happened
In a recent SAIR talk, Terence Tao publicly urged model companies to slow down. AI is rapidly accelerating the generation of solutions and Lean formal verification, he said, but the downstream work of understanding, peer review, and inclusion in textbooks is barely progressing, creating what he calls 'Proof Indigestion'.
Keep reading
Latest daily · Issue 24NVIDIA and AI4Bharat Introduce Nemotron-pretraining-Indic-v1 and an Open Data Generation PipelineTrending now
- 1Meta Releases Muse Spark Open With Mac and Cloud Support, Topping US Open-Weight Index
- 2Google Launches Gemini 4 Argon Globally, Expands Paid Access as Benchmark Results Vary
- 3OpenAI Updates GPT-6 Astra Pro in ChatGPT With Parallel Agents and Faster Responses
- 4Meta’s New Business Terms Raise Dispute Over Website Crawling and AI Training Rights
Tomorrow at 08:00, a briefing like this arrives in your inbox.
The same kind of briefing as the one above: a few stories worth reading. Free. Mail starts after you confirm, and every letter has a one-click unsubscribe. Read a past issue · 2026-10-17