Episode Details

This Week's Topics:

AI proves new math - OpenAI announced an internal reasoning model produced a verifiable proof overturning Erdős's planar unit-distance conjecture, validated by external mathematicians. New papers on data filtering and mode-hopping during pretraining add to a week where the science of how these models learn took several real steps forward.
The compute economics squeeze - Microsoft is reportedly ending Claude Code licenses for staff and steering teams to GitHub Copilot CLI. Anthropic was reported to be exploring Microsoft's Maia 200 chips while also signing a roughly $45B SpaceX compute deal. NVIDIA's Vera CPU started shipping to frontier labs. The Wall Street Journal said OpenAI is targeting a September IPO. Alibaba unveiled the Zhenwu M890 chip to reduce reliance on NVIDIA.
Agents face durability tests - Alibaba's Qwen3.7-Max claims a 35-hour autonomous coding optimization run. Cursor argues cloud coding agents need full developer-grade environments to be reliable. Google's I/O reframed Gemini around agentic workflows. Warp shipped Oz, an enterprise control plane for multi-harness agent orchestration. Anthropic shared deployment patterns for Claude Code in very large repos.
Provenance war intensifies - OpenAI expanded image provenance with C2PA Content Credentials and SynthID watermarking the same week an open-source tool launched to remove watermarks and strip provenance metadata. OpenAI also acquired Weights.gg, the celebrity voice-cloning library. ChatGPT began testing Plaid-linked bank account integration. The infrastructure for content authenticity and the infrastructure to defeat it are being built in parallel.
The backlash hardens - JavaScript educator Axel Rauschmayer took 2ality and his free online books offline because AI crawlers tripled his hosting costs while his income fell to zero. Pew Research published a survey showing a sharp optimism gap between AI experts and the public. Eric Schmidt was booed off-stage at the University of Arizona commencement. Andrej Karpathy left to join Anthropic. The Manus founders are reportedly trying to unwind Meta's acquisition after Beijing ordered it reversed.

Sources:

-OpenAI Model Disproves Erdős Conjecture on Unit Distances in the Plane
-Study Finds Heavy Data Filtering May Hurt Large-Model Pretraining at High Compute
-Study Finds Language Models 'Mode-Hop' Between Memorization and Generalization
-LiteFrame Cuts Video LLM Bottlenecks to Scale to Hundreds of Frames
-Nous Research Introduces Lighthouse Attention to Speed Up Long-Context Pretraining
-Microsoft Pulls Claude Code Licenses, Steering Teams to GitHub Copilot CLI
-Anthropic in talks to use Microsoft's Maia 200 AI chips as compute demand surges
-NVIDIA Starts Delivering Vera CPUs to Anthropic, OpenAI, xAI and Oracle Cloud
-Anthropic Agrees to Nearly $45 Billion SpaceX Compute Deal Ahead of IPO
-OpenAI Reportedly Targets September IPO After Musk Lawsuit Loss
-Alibaba Launches Zhenwu