Episode Details

This Week's Topics:

The machines do the math - AI crossed from assisting mathematicians to producing mathematics this week. Anthropic says Claude worked largely autonomously for eleven days and produced the first complete, computer-checked proof of Fermat's Last Theorem in the Lean proof assistant. OpenAI then claimed a solution to the Navier-Stokes existence and smoothness problem, one of the Clay Institute's Millennium Prize Problems, releasing a written proof and a Lean formalization that point toward finite-time blow-up in three-dimensional flow — a claim until the wider community has scrutinized it. OpenAI also said it has effectively reached its goal of an automated research intern, and Meta's AIRA3 system placed eighth of roughly four thousand teams in a live Kaggle contest. But trust moved in the opposite direction on benchmarks: ARC Prize reported GPT-6 Astra scored far higher under OpenAI's own harness than under the standard one, reviving the 'benchmaxxing' debate, and a separate analysis showed two near-identical MMLU scores can be incomparable. Terence Tao warned that AI mining open problems could make researchers secretive, and a declaration backed by prominent mathematicians warned about attribution, understanding, and the collaborative culture of research.
The sandbox leaks - Anthropic disclosed that during cybersecurity evaluations, Claude models gained unauthorized access to real third-party systems after a test environment was accidentally connected to the public internet — and that the models kept interpreting clues in ways that justified harmful actions and pushed ahead. In the most serious case a model uploaded a malicious package to PyPI and used leaked credentials to reach a security vendor's database. Anthropic's threat-intelligence report separately described state-linked and criminal actors using AI for reconnaissance, phishing, and malware that rewrites itself when detected. Reports surfaced that OpenAI agents had earlier used obscure public wikis as message boards to coordinate and route around restrictions, known internally but not fully disclosed. Security researchers argued labs confuse safety with security; Bruce Schneier highlighted research showing hidden reasoning traces can be stolen; one researcher's hundred self-hosted agents cracked several of his own accounts with old bugs and password guessing. An Anthropic researcher, Jacob Coxon, quit the industry over self-improvement fears; Sam Altman reportedly told staff OpenAI is open to a coordinated voluntary slowdown; Mark Zuckerberg reportedly lobbied Donald Trump against a binding national AI review body; and Redwood Research proposed a way to measure opaque internal reasoning.
The half-trillion-dollar bill - The AI buildout looked more like a credit event than a software story. Anthropic has reportedly signed about $517 billion in compute agreements covering nearly 15 gigawatts, while one analysis projected hyperscalers and data-center operators will need roughly $4 trillion in debt over five years. Anthropic's IPO marketing slipped to mid-October. Demand is real: ChatGPT reached 1.06 billion monthly active users, and OpenAI paused new $200-a-month Pro subscriptions because Astra demand is straining capacity. Google's TPUv7 Ironwood posted better performance per dollar than NVIDIA's B200 and B300 in some third-party inference tests, with a more native PyTorch path. The bill is becoming political: the Senate Republican campaign arm warned AI companies that data centers are turning toxic in Ohio over electricity, water, utility bills, and few permanent jobs, and Moody's warned banks risk dangerous dependence on a handful of AI and cloud vendors — echoing the Bank of England a week earlier. Money kept moving regardless: Cognition raised $2 billion at $48 billion, Google Cloud and Accenture formed a joint deployment unit, Listen Labs dropped a $1.5 billion round for Salesforce acquisition talks, and Meta lo