Multi-agent inference scaling

OpenAI puts a machine-checkable Lean proof of finite-time blowup in a public repo

OpenAI says the result resolves statement C of the official Millennium formulation, then says it will not claim the $1M prize. The smooth force applied to its fluid throughout is why that second sentence carries the weight.