---
title: Sharing AI progress in mathematics
link: https://openai.com/index/sharing-ai-progress-in-mathematics
source: openai-com
published: 2026-10-06T12:00:00Z
updated: 2026-10-06T12:00:00Z
first_seen: 2026-10-06T23:45:23.660353536Z
labels:
- research
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.
content: feed
html: 2026-10-06-sharing-ai-progress-in-mathematics.html
---

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.