openai/math
- Total stars
- 1,095
- Today · UTC
- +524since 22:56 UTC
More actions
Save to My finds to follow releases and star growth. Saved in this browser.
About the project
A collection of mathematical manuscripts and Lean formalizations produced by an internal OpenAI model while solving open research problems. Intended for mathematicians and researchers studying the results and verifying proofs.
Useful for
- Browse the catalogue of 722 manuscripts across mathematical disciplines
- Verify Lean formalizations of proofs using the Comparator
- Locate manuscripts on a specific topic via the manuscript map
README summarized by DeepSeek V4.1 Flash. Details may be inaccurate.
Star growth looks organic. Data as of October 6, 2026, 23:49 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show daily stars; the line is a moving average of the available history. Short histories do not yet establish a reliable usual pace. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-10-06 (UTC), 22:56–23:42: 571 → 1095 stars (+524). This is the change over that interval.
- The repository is 0 days old and already has 1,095 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #12.
- Hacker News: “Mathematical manuscripts and supporting proof artifacts produced by OpenAI” — 38 points, 1 h ago.
- About 280 forks a day — people are taking the code.
- Recent forks include notable developers: @curieuxjy (300 followers).
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 1,095
- Today
- +524 stars measured 2026-10-06, 22:56–23:42 UTC
- Forks
- 119
- Issues and pull requests
- 0
- Watchers
- 27
- Language
- Lean
- License
- Apache-2.0
- Created
- October 6, 2026
- Last push
- October 6, 2026
Star trust
Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.
These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.
Hacker News discussions
- Mathematical manuscripts and supporting proof artifacts produced by OpenAI38 points, October 6, 2026
Spotted in
- October 7, 2026Top new repositories this week: #4; Top new repositories this month: #66; Spotted on Hacker News
- October 6, 2026Top new repositories this week: #12; Spotted on Hacker News
README badge
Paste it into your README — the badge shows the current magnitude and links to this page.
[](https://gitnova.dev/en/r/openai/math)