The Proofs Check Out
The Proofs Check Out. Now What? The AI series · 8 October 2026 OpenAI has released hundreds of mathematical results produced by an unreleased model. Some are machine-checked. The harder questions are whether they matter and how they were made.