openai / math
A collection of 719 mathematical manuscripts, produced by an OpenAI model, explores diverse fields and includes 42% formalized results.
Maintainer
organization
- GitHub account
- @openai id 14957082
- pump.fun fee address
- DRtW58sdRoSHLEovjxT4rN6P1qbn67H2x7HvV4G8bZ6P
- Waiting now
- <0.01 SOL unclaimed, from any coin
- Claimed to date
- 0 SOL
Repository
- GitHub description
- —
- Language
- Lean
- License
- Apache-2.0
- Created
- 2026-10-06
- Last push
- 2026-10-12
- Stars · forks
- 14976 · 1719
- Listed from
- Search: created in the last 14 days
- Summary
- One sentence written from the README by a local model (gemma3), checked for length and tone, cached once.