The latest research stories in AI, fact-checked and explained in plain English.
On 6 October 2026 OpenAI published 722 maths manuscripts from an unreleased internal AI model, many with Lean proofs. We have not checked the maths.
