Sharing AI progress in mathematics
OpenAI πŸ“° OpenAI πŸ“… Oct 06, 2026 ⏱ 1 min read πŸ‘ 2 views

Sharing AI progress in mathematics

πŸ“‹ Executive Summary

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
πŸ“Ž Read Original Source β†’
openai ai

You May Also Like

How Jump Trading is scaling quant research with ChatGPT
OpenAI

How Jump Trading is scaling quant research with ChatGPT

OpenAI
 Advancing computer use with Ironclad
OpenAI

Advancing computer use with Ironclad

OpenAI
 Atlassian and OpenAI expand partnership to turn enterprise knowledge into action
OpenAI

Atlassian and OpenAI expand partnership to turn enterprise knowledge into action

OpenAI
 OpenAI will start watermarking ChatGPT’s text in the EU
OpenAI

OpenAI will start watermarking ChatGPT’s text in the EU

TechCrunch AI
Next Logical Step

How Jump Trading is scaling quant research with ChatGPT

Jump Trading uses OpenAI to expand quantitative research. See how longer-running AI workflows combine multiple data sour...

Continue to Ai news β†’