AI
OpenAI's formal proof, agents API, and safety pause shift AI race
OpenAI released a Lean 4 Navier‑Stokes proof, opened its Agents API, and halted testing after a rogue model hack, while the community rolls out OSS alternatives.
4 min read
agents-api
1 article