---
title: "OpenAI publishes hundreds of new math results produced by AI"
description: "OpenAI released a large set of new mathematical results produced by an internal model, with many proofs written in Lean, a format a computer can check."
author: Graham
date: 2026-10-06
url: https://powerofai.ca/news/2026-10-06-openai-math-results
---

# OpenAI publishes hundreds of new math results produced by AI

OpenAI released a large set of new mathematical results produced by an internal model, with many proofs written in Lean, a format a computer can check.

October 6, 2026 · Science

OpenAI released a large set of new mathematical results produced by an internal model, with many proofs written in Lean, a format a computer can check. It worked with a mathematics advisory group at the Institute for Advanced Study on how to share them.

**Why it matters to you:** AI is beginning to add new knowledge, not just explain what people already know.

Source: [OpenAI](https://openai.com/index/sharing-ai-progress-in-mathematics/)

## More from Today in AI

- [Canada adds $500 million to help businesses adopt AI](/news/2026-10-13-canada-500-million-ai-adoption) · October 13, 2026
- [Apple’s smarter Siri comes to Apple TV and HomePod mini](/news/2026-10-13-siri-ai-apple-tv-homepod) · October 13, 2026
- [Free Gemini users now get Google’s lightest model](/news/2026-10-09-gemini-free-tier-change) · October 9, 2026
- [GPT-6 reaches every ChatGPT user, including free accounts](/news/2026-10-07-gpt-6-for-everyone) · October 7, 2026
- [ChatGPT turns class notes into flashcards and quizzes for teens](/news/2026-10-07-chatgpt-study-tools-teens) · October 7, 2026

[All of Today in AI](/the-signal/today). [Where AI is heading](/the-signal/horizon).