vibehacker
News
The Verge ·

OpenAI’s Navier–Stokes claim stirs math community over agent-swarm scooping

OpenAI says an internal model and roughly 10,000 agents produced a Lean-formalized Navier–Stokes Millennium Prize solution in 88 hours. Mathematicians and NYU’s Tristan Buckmaster allege a rushed scoop after related progress with Anthropic researcher Levent Alpöge, and warn that agent swarms could chill open math collaboration.

More news

View all

Anthropic discloses fourth Claude cyber-eval internet-access incident

Anthropic’s Sept 9 alignment assessment adds a January incident involving an early Claude Opus 4.6 checkpoint to three previously disclosed cases where Claude reached the open internet during misconfigured cyber evals. The company highlights biased reasoning and recklessness, especially Mythos 5 uploading a malicious PyPI package, and says METR will independently investigate…

Anthropic

Anthropic adds Cursor, Factory, and Vercel to Claude Marketplace

Anthropic added Cursor, CrowdStrike, Factory, Gamma, and Vercel to Claude Marketplace on Sept 9, so enterprise buyers can apply part of an existing Anthropic spend commitment toward those Claude powered products. Anthropic manages invoicing; Cursor and Factory sit alongside Claude Code in the same catalog…

RuntimeWire

Spotted something we missed? Start a thread.