A reading room for the openai/math collection
372 results.
719 papers.
One map.
Browse the machine-produced mathematics released in openai/math by area and by result. Every result opens onto its papers, a short introductory video, and video explanations of the proof.
The map
Each square is one result, grouped by discipline. Filled squares have a Lean formalization. Hover to read a title, click to open it.
Areas
The repository files every result under one of 17 disciplines. We group them into five areas.
Geometry & Topology
Shapes, spaces and the invariants that tell them apart. · 98 results
Discrete Mathematics & Computation
Graphs, counting, logic, and the limits of efficient computation. · 83 results
Analysis
Functions, operators, equations, and how they behave in the limit. · 74 results
Number Theory & Algebra
Integers, primes, groups and the structures built on them. · 63 results
Probability & Mathematical Physics
Randomness, statistical mechanics and the mathematics of physical models. · 54 results
How to read a result
- 1Watch the introduction. A few minutes on what the problem is and why people care.
- 2Follow the explanation. One or more videos walking through the presented solution.
- 3Read the papers. The PDFs, their abstracts, and a citation for each.
- 4Check what was verified. Where a Lean formalization exists, its scope in plain words.