# AI mathematics

Published articles for AI mathematics.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## OpenAI claims its AI system generated a formally verified proof about the Navier-Stokes problem

DevFeed: [OpenAI claims its AI system generated a formally verified proof about the Navier-Stokes problem](<https://devfeed.tech/articles/explained-with-graphics-the-epic-math-problem-openai-claims-to-have-solved-56462.md>)

Original publisher: [Read original article](<https://indianexpress.com/article/technology/artificial-intelligence/openai-ai-solves-navier-stokes-problem-10869826/>)

Author: Tech Desk

Published: 2026-09-09T08:33:14Z

Content type: news

Language: en

Sources: [Technology | The Indian Express](<https://devfeed.tech/sources/technology-the-indian-express.md>)

Topics: [Mathematics](<https://devfeed.tech/topics/mathematics.md>), [OpenAI](<https://devfeed.tech/topics/openai.md>), [Artificial Intelligence](<https://devfeed.tech/topics/ai.md>), [AI Research](<https://devfeed.tech/topics/ai-research.md>), [Lean](<https://devfeed.tech/topics/lean.md>)

Tags: [agents](<https://devfeed.tech/tags/agents.md>), [ai](<https://devfeed.tech/tags/ai.md>), [ai-generated-proof](<https://devfeed.tech/tags/ai-generated-proof.md>), [ai-mathematics](<https://devfeed.tech/tags/ai-mathematics.md>), [ai-model](<https://devfeed.tech/tags/ai-model.md>), [ai-solves-math-problem](<https://devfeed.tech/tags/ai-solves-math-problem.md>), [ai-solves-navier-stokes-problem](<https://devfeed.tech/tags/ai-solves-navier-stokes-problem.md>), [artificial-intelligence](<https://devfeed.tech/tags/artificial-intelligence.md>), [clay-mathematics-institute](<https://devfeed.tech/tags/clay-mathematics-institute.md>), [fluid-dynamics](<https://devfeed.tech/tags/fluid-dynamics.md>), [lean](<https://devfeed.tech/tags/lean.md>), [math](<https://devfeed.tech/tags/math.md>), [mathematical-breakthrough](<https://devfeed.tech/tags/mathematical-breakthrough.md>), [mathematical-proof](<https://devfeed.tech/tags/mathematical-proof.md>), [millennium-prize-problems](<https://devfeed.tech/tags/millennium-prize-problems.md>), [navier-stokes-equations](<https://devfeed.tech/tags/navier-stokes-equations.md>), [navier-stokes-problem](<https://devfeed.tech/tags/navier-stokes-problem.md>), [navier-stokes-solution](<https://devfeed.tech/tags/navier-stokes-solution.md>), [openai](<https://devfeed.tech/tags/openai.md>), [openai-ai-breakthrough](<https://devfeed.tech/tags/openai-ai-breakthrough.md>), [openai-navier-stokes](<https://devfeed.tech/tags/openai-navier-stokes.md>), [openai-navier-stokes-problem](<https://devfeed.tech/tags/openai-navier-stokes-problem.md>), [technology](<https://devfeed.tech/tags/technology.md>), [technology-artificial-intelligence](<https://devfeed.tech/tags/technology-artificial-intelligence.md>)

### AI overview

OpenAI claims that an internal AI system generated a proof concerning the Navier-Stokes existence and smoothness problem, a long-standing Millennium Prize mathematics problem. The article says the proof was formally verified with Lean and involved thousands of AI agents.

### Source excerpt

OpenAI said its AI system had solved the 90-year-old Navier-Stokes problem - one of mathematics' most challenging unanswered questions.