The AHM statement hosted on Terence Tao's blog says mathematicians did not ask for OpenAI's 700-file math release. On Tao's own blog, 53 of 103 comments rejected it.
By Elena Marsh · October 9, 2026
We matched OpenAI's 722 published math manuscripts against its own Lean formalization catalogue. Only 162 main results are machine-checked, and none of the 143 manuscripts dated in October.
Daniel Reyes · October 7, 2026
Explore a data-driven perspective on California data centers, focusing on energy demand and its significant implications for grid stress.
Editorial Desk · October 5, 2026
PicoJool's funding round marks a significant shift in AI data-center interconnects and infrastructure, transforming AI bandwidth capabilities.
Marcus Feldman · September 28, 2026
Explore a neutral, data-driven analysis of AI Infra Summit's significant impact on evolving infrastructure trends and market dynamics.
Editorial Desk · September 21, 2026
A data-driven perspective on Open-Source AI governance and how OSPOs drive risk management, collaboration, and innovation.
Priya Raman · September 14, 2026
Twenty-five Fields Medalists signed a declaration calling AI labs severely misaligned with mathematics. Our analysis of who signed suggests it is a labor argument, not an epistemic one.
Nil Ni · September 12, 2026
Anthropic's September 2026 report shows Iran's culture ministry used Claude to plan Khamenei's funeral and succession, while Claude sat inside the US targeting system that killed him. The threshold that matters is not AI deciding, it is AI becoming unavoidable.
Priya Raman · September 12, 2026
The biggest AI news of the week of September 8, 2026: GPT-6 Astra, Atlas, DeepSeek V4.1-Flash, the iPhone Duo, $6.05B in funding, and a very public AGI argument.
Amara Singh · September 12, 2026
Europe bans commercial surrogacy on dignity grounds while licensing paid sex work and paid plasma donation. Germany, Austria and Hungary do all three at once. The line is a taboo, not a principle.
Elena Marsh · September 10, 2026
Jacob Coxon resigned from Anthropic in a seven-post thread seen 101.8 million times. Only 8.1% of that audience read past the first post. What was in the other six.
Jordan Wells · September 9, 2026
The Economist says AI created 1m US jobs. BLS data shows the four industries that build and sell AI lost 165,500 since ChatGPT launched. The gains are in construction.
Daniel Reyes · September 9, 2026
Both sides of the Navier-Stokes dispute published Lean certificates on the same morning. We cloned and measured both: 2.3 million lines, zero extra axioms, and no development history on either side.
Priya Raman · September 8, 2026