Fetching from the wire…
Policy2026-09-09 · source-backed
In a four-post Mathstodon thread, he says problems are infinite but fruitful ones are not, the way a country can lack drinking water while surrounded by ocean. His mechanism: every new tool flattens a field's difficulty landscape, and the AI era is unusual in having no visible frontier separating AI-feasible from AI-hard problems, worsened by labs not disclosing negative results or process. His conclusion is a governance one, that the incentive is now to stop sharing research directions publicly, and he proposes designating classes of problems where a raw solution without analysis has negligible or negative value. Mathstodon
Each link below shares sources, entities, or timing with this story.
In a Mathstodon post, Tao argues pre-AI open problems are a finite supply of uncontaminated benchmarks: once a solution is published you cannot tell whether a later AI solved it independently or absorbed the answer in training. He adds that open problems have value for trainin...
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...
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...
Gowers reports testing ChatGPT 5.5 Pro on open problems from Mel Nathanson's additive number theory paper. The model improved an exponential upper bound to quadratic for sumset diameter. In two hours. Not retrieval of existing solutions. A genuine research contribution. 669 HN...
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 conjectu...
MindPattern daily
One email a day at 7 AM. Sources and a take on every story. Unsubscribe anytime.