Sharing AI progress in mathematics

OpenAI · Tuesday, 6 October 2026 at 12:00 (13h ago) · Original article ↗

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

You're reading a preview. The full article is published by OpenAI on their website.

Read the full story on OpenAI

AI Labs

EmbeddingGemma 2: an open, lightweight multimodal embedding model

Google DeepMind 5h ago

AI Labs

Atlassian and OpenAI expand partnership to turn enterprise knowledge into action

Atlassian and OpenAI are expanding their partnership to connect frontier models with enterprise knowledge and help teams plan, build, and deliver work.

OpenAI 9h ago

AI Labs

Why Telecom Operators Are Building Their AI Strategy on Open Models

Telecom operators are increasingly building their AI strategies on open models — and the reasons go beyond mere cost. Open models give telcos the ability to trust, control and customize AI across their most critical workloads — from autonomous networks to customer care. NVIDIA’s…

NVIDIA Blog 12h ago

Sharing AI progress in mathematics

More Official news & blogs from the AI labs

EmbeddingGemma 2: an open, lightweight multimodal embedding model

Atlassian and OpenAI expand partnership to turn enterprise knowledge into action

Why Telecom Operators Are Building Their AI Strategy on Open Models