OpenAI spills technical details about how its AI coding agent works

On Friday, OpenAI engineer Michael Bolin published a detailed technical breakdown of how the company’s Codex CLI coding agent ...

Theorem wants to stop AI-written bugs before they ship — and just raised $6M to do it

Theorem raises $6 million to use AI-powered formal verification to mathematically prove AI-generated code is safe before it's ...