OpenAI posted 372 families of AI math results, including a claimed Unique Games proof. About 42% have Lean checks, while mathematicians say the proofs are hard to read and want the model and prompts released.
Anthropic released Claude Haiku 5.5 on Wednesday at $0.10 per million input tokens for prompts up to 100,000 tokens, the same rate OpenAI charges for GPT-6 Luna. The rate is 90% below Haiku 4.5 on those prompts, but Anthropic’s own estimate of the average saving is about 75%, once a tokenizer that counts roughly 30% more tokens for the same text is included. Anthropic is aiming it at high-volume work, including live customer support and browser use, and at subagent tasks handed down by Opus 5.5 and Sonnet 5.5.
What Changed
Reflection AI unveiled Beam, a 501-billion-parameter open-weight model it says matches China's GLM-5.2 on reasoning at three to four times less compute. Weights are due this month, no independent evaluation exists yet, and Reflection's own table shows Beam trailing newer Chinese models.
SemiAnalysis fed War and Peace into paid accounts and read the usage meters. Opus 5.5 on Claude plans returns about five times the API-equivalent value of GPT-6.1 Sol on OpenAI's, a mid-tier gap that widened after OpenAI halved its $200 plan.
· 10 min read
Implicator PRO
The analysis your competitors are reading.
Weekly deep dives into the deals, strategies, and power shifts reshaping the AI industry.
Weekly long-form analysisExclusive data briefingsEarly access to reports