An exhibit of the references behind
openai/math
Foundations
· 389 years of mathematics under 722 new proofs
Guided tour
The proofs
Order by
Importance
Oldest solvable
Release date
Field
Most references
Deepest roots
Most recent foundations
Builds most on other proofs
Title A–Z