Observed arrival · 2026-10-13
AI Proved What? makes AI math claims legible
Animated episodes explain mathematical results claimed by AI systems and track whether their proofs are public, peer-reviewed, or checked in Lean.
- For
- Math-curious readers following AI-generated proof claims
- Worth noticing
- The homepage says the featured Lean proof was published by OpenAI but has not been run by the site.
Field notes
The site groups related papers under a single result, including companion work, alternative proofs, supporting results, and consequences. Its status system separates public preprints from peer review and computer-checked proofs, and marks partial Lean coverage differently. For the featured Fourier-convergence claim, the homepage says OpenAI published a Lean proof but that the site has not run the check; it also dates its zero-peer-review count to October 12, 2026.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
One card from the complete issue