About math20

In October 2026 OpenAI published openai/math: 719 mathematics manuscripts organised into 372 result families, produced by an unreleased internal model. The repository is complete but dense. math20 is a reading room on top of it: the same catalogue, organised by area, with each result opening onto its papers and onto videos that introduce the problem and explain the presented solution.

What comes from where

• Titles, descriptions, abstracts, citations: reproduced from the repository (CONTENTS.md, each manuscript's README.md), © OpenAI, Apache-2.0. Commit 1581d4cbd.
• Disciplines: the 17 sections of the repository's overview.tex. The five areas are our grouping.
• Lean scope notes: lean/docs/. A result marked “Lean” has a formalization described there; read the scope note to see exactly what was checked.
• PDFs: served by GitHub from the original repository, so you always read the current version.
• Videos: produced independently for this site and hosted on YouTube.

A word of caution

The repository itself states that some unformalized results could have issues, and it records withdrawals and revisions in its history. Nothing here has been peer reviewed. A Lean badge means a formal proof of the stated scope exists, not that every claim in every paper has been checked.

Not affiliated

math20 is an independent project. It is not affiliated with, sponsored by, or endorsed by OpenAI.