Sharing AI progress in mathematics
OpenAIen
OpenAI
AI Global WireOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
This is a short summary published by AI Global Wire. The full article is owned and hosted by OpenAI — open it there to read it in full.
Read the full story at OpenAI- OpenAI
- Forskning
Related AI news
- OpenAI's first report on teen ChatGPT use says teens spend under 15 minutes a day on average on the chatbot, with less than 2% using it for 3+ hours straight (Reuters)Techmeme · October 7, 2026
- OpenAI says teens use ChatGPT for under 15 minutes a day as worries over risks growEconomic Times Tech · October 7, 2026
- ChatGPT is getting college planning toolsThe Verge AI · October 7, 2026
- Muse launches on the iPadThe Verge AI · October 7, 2026
- OpenAI launches Decisions API that reduces complex evaluations to yes, no, or pick oneThe Decoder · October 7, 2026
- The Pentagon Hopes to Speed Up ‘Kill Chain’ AI Buys With 5-Minute VideosWIRED AI · October 7, 2026