# openai/math

> 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.

- Magnitude: 9.5 out of 10 — Breakout
- Stars: 1,867 total · +387 stars measured 2026-10-07, 00:19–01:01 UTC, ≈ 2,504 by evening
- Star trust: star growth looks organic
- Category: Science & research · Language: Lean · License: Apache-2.0 · Created: 2026-10-06 · Last push: 2026-10-06
- GitHub: https://github.com/openai/math · Page: https://gitnova.dev/en/r/openai/math

## 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

## Why it’s here

- Star-counter measurements on 2026-10-07 (UTC), 00:19–01:01: 1480 → 1867 stars (+387). This is the change over that interval.
- Estimated end-of-day forecast: about +2,504 stars, using observed gains and the previous day.
- The repository is 1 day old and already has 1,867 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #1.
- Top new repositories this month: #50.
- Hacker News: “Mathematical manuscripts and supporting proof artifacts produced by OpenAI” — 40 points, 2 h ago.
- About 280 forks a day — people are taking the code.
- Recent forks include notable developers: @danfinlay (984 followers).

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 157
- Issues and pull requests: 0
- Watchers: 39
- Average over the last week: 2,223 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 583

## Stars per day, last 4 days (oldest → newest, today is partial)

2026-10-04 … 2026-10-07: 0, 0, 1941, 387

## Magnitude by day, last 2 days

10-06 8.1, 10-07 9.5

## Hacker News

- Mathematical manuscripts and supporting proof artifacts produced by OpenAI — 40 points, 0 comments: https://news.ycombinator.com/item?id=49984976
- Integer multiplication below n log n — 39 points, 25 comments: https://news.ycombinator.com/item?id=49985524
- OpenAI just dropped 700 preprints of mathematical proofs and counterexamples — 38 points, 2 comments: https://news.ycombinator.com/item?id=49985740
- OpenAI releases 722 math manuscripts — 9 points, 1 comments: https://news.ycombinator.com/item?id=49985787

## Spotted in now

- Top new repositories this week: #1
- Top new repositories this month: #50
- Spotted on Hacker News

## More in this category

1. **Henryfud/werm** — 5.2 · Early signal · Science & research · HTML · +0 stars measured 2026-10-07, 00:21–01:02 UTC, ≈ 178 by evening
   A 302-neuron simulation on the real C. elegans connectome with a steering layer that adjusts a local language model's sampling settings based on the worm's state.
   Full card: https://gitnova.dev/en/r/Henryfud/werm.md
2. **OpenCourant/OpenCourant** — 4.5 · Early signal · Science & research · Fortran · +3 stars measured 2026-10-07, 00:20–01:02 UTC, ≈ 59 by evening
   Open-source finite element solver codebase Radioss for highly nonlinear problems under dynamic loadings; a community fork of OpenRadioss for researchers and engineers.
   Full card: https://gitnova.dev/en/r/OpenCourant/OpenCourant.md
3. **google-deepmind/alphaprotein-novo** — 4.4 · Early signal · Science & research · Python · +1 star measured 2026-10-07, 00:20–01:02 UTC, ≈ 42 by evening
   A generative diffusion pipeline for de novo enzyme design via structural motif scaffolding: it co-generates protein structures and sequences conditioned on a catalytic motif and ligand, with optional LigandMPNN redesign, AlphaFold 3…
   Full card: https://gitnova.dev/en/r/google-deepmind/alphaprotein-novo.md
4. **rsutcliffe/nightwatch** — 3.4 · Early signal · Science & research · Swift · +1 star measured 2026-10-07, 00:20–01:03 UTC, ≈ 13 by evening
   Silent macOS menu-bar app that tells you when tonight is clear enough for telescope imaging and what to point at. Works with any telescope.
   Full card: https://gitnova.dev/en/r/rsutcliffe/nightwatch.md
5. **BootLoops-ai/bootloops** — 2.5 · Cooling · Science & research · Python · +1 star measured 2026-10-07, 00:22–01:04 UTC, ≈ 17 by evening
   A harness of scientific computing tools and protocols for exact, high-precision physics and quantitative science, driven by LLM agents. Gives an agent verifiable instruments with certified results.
   Full card: https://gitnova.dev/en/r/BootLoops-ai/bootloops.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-07 01:12 UTC, updated every 30 minutes.