OpenAI
OpenAI is a company that develops AI models. On October 6, 2026 it published a public repository of 719 mathematical manuscripts from an internal model.
Key facts
- Math repository
- 719 manuscripts in 372 result families, from an unreleased internal modelsource
- Repository record
- Created October 6, 2026, under an Apache 2.0 licensesource
- Lean formalizations
- 300 of 719 top-line results formalized, about 42 percent, per the October 7 history updatesource
- Withdrawals
- Withdrew three manuscripts on October 7, 2026 after a sign error in a stabilization-trace argumentsource
WYDE coverage of OpenAI
Sources
Track the institutions that move money.
Data-driven coverage every Friday.