AI brief
OpenAI published new results on open problems in mathematics produced by an internal frontier model, along with Lean proof formalizations and research details on GitHub.
Written by AI from OpenAI Research's published text. Read the original for full details.
From the publisher
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Research SourcesRetrievalOpenAI Research
More on Retrieval
- Training Foundation Models with a Single AlgorithmHugging Face Papers · 29 Oct 2026
- Working with academic communities to build scientific understandingOpenAI Research · 26 Oct 2026
- On the SPOT: Enhancing Speculative Decoding for Diffusion Language Models via Commit-Order PredictionHugging Face Papers · 26 Oct 2026
- ThinkBit: Search Codewords, Recalibrate Scales, Select by ReasoningHugging Face Papers · 26 Oct 2026