OpenAI Math Repository
Contribute to openai/math development by creating an account on GitHub.
Quick read
The OpenAI Math Repository is a collection of mathematical manuscripts and proofs. It is useful for researchers looking for innovative mathematical results and formalizations.
- Browse 719 manuscripts organized into 372 families
- Access PDFs and source files in the preprints directory
- Explore available formal proofs and verification configurations
Reactions
No reactions yet. Record a short about this link and it shows up here, in Reels and in the community feed.
Is github.com your site? Sign in to verify it and get a Verified badge, full stats and a link-back badge.
More Science finds
- NASA Worldviewworldview.earthdata.nasa.gov
- Bartosz Ciechanowskiciechanow.ski
- Zooniversezooniverse.org
- Ventuskyventusky.com
- iNaturalistinaturalist.org
- The Size of Spaceneal.fun
Where people went next
Nobody has added a next stop yet. Be the first.