OpenAI publishes 722 mathematics manuscripts from an unreleased frontier model
OpenAI released 722 manuscripts across 372 math result families with 162 Lean formalizations — but withheld the model name and prompts an advisory group had asked for.
Anthropic Seeks AI-Blocking Powers, Gets Blocked Instead
On June 10, 2026, Anthropic asked the US government for power to block dangerous frontier models. Two days later, that power suspended Fable 5 and Mythos 5.