Sharing AI progress in mathematics
OpenAI publishes mathematical research and Lean proof formalizations solving open problems.
OpenAIResearch
37 stories, 12 sources, updated 9 min ago
Headlines from 12 labs and newsrooms, grouped when several outlets cover the same story. Summaries are written by our desk. Subscribe by RSS
OpenAI publishes mathematical research and Lean proof formalizations solving open problems.