# OpenAI forecasts $100k Navier-Stokes proof cost for 2027

Digest AI · Research · published 2026-10-29T16:37:00Z

Canonical: https://digestai.news/story/openai-forecasts-100k-navier-stokes-proof-cost-for-2027

## Summary

OpenAI says an AI-generated proof for the Navier-Stokes problem—one of the Clay Mathematics Institute’s Millennium Prize Problems—cost about $10 million to $15 million in its first attempt. The company used a network of roughly 10,000 coordinated AI agents over 88 hours to generate the proof and another 17 hours to verify it in Lean, a formalization tool. OpenAI expects similar projects to drop to around $100,000 next year due to anticipated AI efficiency gains, though this remains a forecast, not a confirmed cost.

The announcement has sparked debate among mathematicians, who question whether OpenAI’s proof relies on unpublished methods. The Clay Mathematics Institute offers a $1 million prize for solving the problem, but OpenAI has stated it won’t pursue it, calling the prize insufficient compared to the compute cost. While Lean formalization helps validate correctness, it does not resolve disputes over research credit or originality. The most significant shift is the projected cost drop, which could make frontier math more accessible to universities or smaller labs.

## Key points

- OpenAI’s AI system generated a Navier-Stokes proof costing $10M–$15M in 2026, using 10,000 agents over 88 hours
- Company forecasts similar proofs could cost $100,000 by 2027 due to AI efficiency gains, but this is unconfirmed
- Mathematicians debate credit and unpublished methods, while Clay Institute’s $1M prize remains untouched by OpenAI

## Why it matters

A $100,000 price tag for frontier math could democratize research, letting universities or smaller teams tackle hard problems without billion-dollar budgets.

## Sources

1. [OpenAI says its $10 million Navier-Stokes proof could cost $100,000 next year](https://cryptobriefing.com/openai-navier-stokes-proof-cost-drop) (cryptobriefing.com, 2026-10-29)

Part of the developing story: [OpenAI AI Agents Solve Navier-Stokes Equations](https://digestai.news/thread/openai-releases-722-math-papers-from-unreleased-model) (4 stories)

## Cite

Digest AI, "OpenAI forecasts $100k Navier-Stokes proof cost for 2027", 29 October 2026, https://digestai.news/story/openai-forecasts-100k-navier-stokes-proof-cost-for-2027

---

Written by Digest AI's editorial model from the linked sources; the sources are the record. Headlines, digests and key points are written by Digest AI and may be quoted with a link to the story page. Linked articles belong to their publishers. Terms: https://digestai.news/terms#reuse
JSON: https://digestai.news/story/openai-forecasts-100k-navier-stokes-proof-cost-for-2027.json