Project Summary
This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model.
As part of model development, we evaluate our models on open research problems. We expanded these evaluations after performance on our existing mathematical evaluations saturated. Some outputs build upon earlier results produced by the models.
This collection includes results at different stages of verification. Not all have accompanying Lean formalizations. We will continue to update this repository with Lean formalizations as we obtain them.
Some of the unformalized results could have issues. We will endeavor to fix any such issues quickly. We are also exploring community-hosted repositories for these materials.
In a Nutshell, OpenAI math...
- ...
- ...
-
...
has a codebase with a very short history
maintained by a average size development team
with stable Y-O-Y commits -
...
took an estimated 2,432 years of effort (COCOMO model)
starting with its first commit in October, 2026
ending with its most recent commit 6 days ago
Quick Reference
Apache License 2.0
Permitted
Commercial Use
Modify
Distribute
Place Warranty
Sub-License
Private Use
Use Patent Claims
Forbidden
Hold Liable
Use Trademarks
Required
Include Copyright
State Changes
Include License
Include Notice
These details are provided for information only. No information here is legal advice and should not be used as such.
This Project has No vulnerabilities Reported Against it
Did You Know...
-
...
65% of companies leverage OSS to speed application development in 2016
-
...
compare projects before you chose one to use
-
...
use of OSS increased in 65% of companies in 2016
-
...
by exploring contributors within projects, you can view details on every commit they have made to that project
30 Day SummaryOct 5 2026 — Nov 4 2026
|
12 Month SummaryNov 4 2025 — Nov 4 2026
|
