vibehacker
News
OpenAI ·

OpenAI: ~10K agents produce Lean-checked Navier–Stokes blowup proof

OpenAI says about 10,000 coordinating agents on an internal model past GPT-6 Astra produced a Lean-formalized proof that 3D incompressible Navier–Stokes can develop a finite-time singularity, after ~88 hours of search plus 17 hours of formalization. The company says it will not claim the Clay Millennium Prize.

More news

View all

Claude Code 2.1.310 brings Monitor to Bedrock, Vertex, and Foundry and fixes a Windows hook bypass

Released Oct 23, the Monitor tool and plugin monitors now work on Bedrock, Vertex, and Foundry and with telemetry off, and Enterprise custom roles can gate cloud sessions and Remote Control per role. It also fixes Windows PreToolUse and PermissionRequest hooks letting tool calls through when Git Bash is missing and the hook command is only quoted strings (changelog)…

Microsoft Agent Framework Python 1.23 moves to MCP 2.x, with breaking changes to transports and lifecycle

Released Oct 22, it lifts the old mcp<2 pin and migrates MCP transports, errors, schemas, and client lifecycle handling to the 2.x SDK, so code that touches those APIs may need updates. Other breaking changes: AG UI endpoints now need an explicit authorization scope or single user declaration, and the Docker shell's extra run args is renamed unsafe extra run args…

Spotted something we missed? Start a thread.