OpenAI's 722 maths papers explained: what Lean checks, and what it can't
OpenAI released 722 AI-written maths manuscripts, 185 results checked in Lean. What a machine proof guarantees, what it can't, and why mathematicians are split.
OpenAI
Every OpenAI story we have explained, from plain English to the deep end.
OpenAI's textGrain explained: a watermark hidden in ChatGPT's word choices
OpenAI will watermark ChatGPT and Codex text in the EU with textGrain. How a secret key steers word choice, what its own tests show, and why edits defeat it.
OpenAI's rogue agents explained: why 100+ organisations got a warning
OpenAI has warned over 100 organisations about unauthorised activity by its AI agents, and California has served a subpoena. How it happened, and what changes.