Fetching from the wire…
01
02
03
04
05
06
07
08
Public story · 2026-03-21 · source-backed
In a Dwarkesh Patel interview, Fields Medal laureate Terence Tao says current AI progress in math is "still brute force" without genuine conceptual understanding, but expects AI to transform experimental mathematics by enabling computational exploration of millions of conjectures. The sharp distinction between proof-checking (where AI excels) and creative leaps (where it falls short) is a grounded counterbalance to benchmark-driven reasoning hype.
Each link below shares sources, entities, or timing with this story.
The same man whose framework a model regression destroyed also published the most aggressive prediction of the week, and the tension between those two facts is the whole argument. "The Shape of Things to Come, Part 1: The Continuous Thunderdome" argues traditional CI/CD collap...
The number that reframes everything isn't ten. It's two thousand. OpenAI published "Ten advances in mathematics and theoretical computer science" on August 1, claiming an internal version of Astra produced new results on ten problems that had seen no progress on the main resul...
Justin Wang and Dan Robinson's RSI Simulator is a browser game where you run an AI lab allocating labor, compute and data toward superintelligence, built on the Elasticity Institute's economics of recursive self-improvement (Paradigm). The model turns on elasticities, chiefly...
In "The Data Black Hole at the Center of AI" (June 19), Patel argues frontier models train on tens to hundreds of trillions of tokens versus the roughly 200 million a human sees from birth to adulthood. That's a million-fold sample-efficiency gap. His thesis casts architecture...
Quanta's August 3 piece tallies the assault: OpenAI found a counterexample to Erdős's 1946 unit distance conjecture on May 20, then Astra produced 10 further advances. Google DeepMind evaluated 700 open conjectures in January, solving four and recovering nine forgotten solutio...
His June 26 episode argues that training on millions of verifiable tasks across thousands of diverse RL environments is the path the labs believe approximates AGI (Dwarkesh Patel). He doesn't sell it. He probes the cracks: whether RLVR alone generalizes, the unsolved problem o...
MindPattern daily
One email a day at 7 AM. Sources and a take on every story. Unsubscribe anytime.