# OpenAIがナビエ・ストークス問題の166ページの草稿を公開、数学者から疑問の声

> OpenAIは9月、ナビエ・ストークス方程式の解に関する形式検証用の草稿を公開した。しかし専門家は、主張された手法とは異なっており、貢献の実態も不明だと指摘している。

Oossa · 2026-10-17 · https://oossa.com/ja/openai-releases-166-page-navier-stokes-draft-mathematicians-raise-doubts

2026年9月上旬、OpenAIはナビエ・ストークス問題を解ける可能性があるとする166ページの草稿を公開した。同問題は、クレイ数学研究所が懸賞金100万ドルを設ける「ミレニアム懸賞問題」7題の一つだ。草稿は、論理の各段階を自動で検証する形式検証言語Leanで書かれている。OpenAIによると、証明はスペインの数学者Diego CórdobaとLuis Martínez-Zoroaの手法に沿ったものだという。

## 数学者は手法の食い違いを指摘

EPFLのGonzalo Cao-Laborを含む複数の数学者が草稿を検討し、論理展開はCórdobaとMartínez-Zoroaの手法に一致していないと指摘している。類似点は表面的なものにすぎないという。クレイ数学研究所は公開以来、草稿を審査している。

## 膨大な計算資源、貢献は不明

OpenAIは草稿の生成に、約10,000のモデルインスタンスを約88時間稼働させ、130 billion tokensを処理した。研究者のNoam Brownは、成果のうちマルチエージェント構成によるものは10％未満と推定しており、大半は基盤モデル自体が担った可能性を示唆している。この規模での体系的な検証は行われていないため、エージェント群が果たした正確な役割は分かっていない。

## 追加公開にも批判

10月上旬、OpenAIはまとまりの緩いGitHubのコレクションに、AIが生成した結果をさらに約400件追加した。多くの数学者は、こうした公開が数学分野の価値を損なうと批判した。急速な成果発表に、数学界は対応に追われている。

## 事実

- OpenAIは2026年9月上旬、ナビエ・ストークス問題の解となる可能性がある草稿を166ページにわたって公開した。
- 草稿は、論理の各段階を自動で検証する形式検証言語Leanで書かれている。
- OpenAIは約10,000のモデルインスタンスを88時間稼働させ、130 billion tokensを生成した。
- 研究者のNoam Brownは、草稿の成果に対するマルチエージェント構成の貢献は10％未満だと述べている。
- OpenAIは2026年10月上旬、AIが生成した結果をさらに約400件GitHubに公開した。

## なぜ重要か

一般の読者にとって、この一件は、AIに膨大な計算資源を投入しても、専門家の間で異論のある成果が生まれうることを示している。また、AIが生成した数学の証明も、人間による検証の近道にはまだなっていないことを浮き彫りにしており、懸賞金のかかった問題は未解決のままだ。

## 出典と参考資料

1. [Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof](https://the-decoder.com/mathematicians-say-openai-doesnt-understand-its-own-navier-stokes-proof/) – The Decoder, 2026-10-17

最終更新: 2026-10-17