openai/math
Star history
3 snapshots
| 2026-10-19 | 15190 |
| 2026-10-20 | 15301 |
| 2026-10-25 | 15490 |
- Last 7 days
- +300 over 6.1 days
- Last 30 days
- Not enough history (3 snapshots)
- Method
- Differences between stored snapshots. How trends work
About this project
Summary from the repository description
Readme This repository contains mathematical manuscripts and supporting proof artifacts produced by an internal OpenAI model.
Why it is in the catalog
Rising on GitHub: created this month, 200+ stars; Rising on GitHub: created this quarter, 1,000+ stars.
Automated observations
- No repository description provided.
These are estimates from repository metadata, not a review of the code.
More in AI Tools and Agents
- JuliusBrussee/caveman114.9K
馃 why use many token when few token do trick. Viral skill + proxy for coding agents that cuts 65% of tokens by talking like a caveman.
- NousResearch/hermes-agent256.9K
The agent that grows with you
- earendil-works/pi117.7K
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
- heygen-com/hyperframes71.7K
Write HTML. Render video. Built for agents.
- ggml-org/llama.cpp132.3K
LLM inference in C/C++
- DietrichGebert/ponytail175.7K
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.