News · Models
Sharing AI progress in mathematics
NewModelsjust nowOpenAI
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Coverage (1)
OpenAIOfficial
Sharing AI progress in mathematics
Related stories
- GPT-6 and Intelligent UI for everyone
- Liquid AI Releases Open-Weight d1-3B and d1-omni-600M: Multimodal Decision Models With Zero Output Tokens
- Mistral says "Le Chonk" can challenge the best AI models
- One Model Family, Two Gold-Level Results: Fine-Tuning Nemotron for IOI and IMO
- Anthropic gives more security teams access to Claude with fewer safety restrictions