Anthropic pays SpaceX $45B for compute

Bloomberg

Anthropic will pay SpaceX nearly $45 billion over three years for computing resources to power its Claude AI, at $1.25 billion monthly. This unprecedented deal underscores the massive infrastructure costs required to compete in frontier AI development.

OpenAI

OpenAI's general-purpose reasoning model autonomously solved an 80-year-old mathematical conjecture (Erdős's planar unit distance problem) by applying unexpected connections from algebraic number theory, marking the first time AI has independently resolved a prominent open problem at the center of an active mathematical field.

OpenAI

OpenAI's new reasoning model has reportedly produced an original mathematical proof disproving an 80-year-old Erdős conjecture in geometry, marking what the company calls the first autonomous AI solution to a prominent open mathematical problem. This comes after a previous false claim about GPT-5 solving Erdős problems was retracted, but this time OpenAI has secured validation from multiple prominent mathematicians.

Google Blog

Google announced two new models at I/O 2026—Gemini Omni for multimodal content creation and Gemini 3.5 Flash for action-oriented tasks—alongside Google Antigravity, an agent-first platform that shifts AI from writing assistance to autonomous agents that can act across Google's product ecosystem.

TechCrunch

SpaceX's IPO filing reveals a company balancing ambitious space infrastructure (Starship, Starlink) with significant AI losses, as xAI's integration creates both massive capital expenditure and revenue underperformance relative to frontier AI labs.