AI-translated from English; not yet reviewed by a fluent editor. # 点距離問題からナビエ–ストークス方程式へ：AI数学は新たな段階に > 点距離問題の反例からナビエ–ストークス方程式まで、AI数学は新たな成果、人間による発展研究、形式証明を通じて進歩している。何が本当に変わったのだろうか。 By BIG CHANGE Editorial Published: 2026-09-22T03:48:27.579Z Updated: 2026-09-22T03:48:27.579Z Canonical: https://bigchange.ai/blog/ai-mathematics-unit-distance-navier-stokes ![An open notebook pairs a point-and-line geometry sketch with swirling fluid lines, with an orange pencil beside it.](https://bigchange.ai/api/media/file/geometry-fluid-hero-v1.png) AI-generated conceptual illustration by BIG CHANGE. From geometry to fluid mathematics: conceptual sketches of the article's range, not the actual unit-distance construction, a proof or a fluid simulation. 5月、平面上の点をめぐる問いから思いがけない答えが生まれた。9月には、AI研究所が流体の特異性に関する議論を発表し、コンピューターで証明を検査するためのファイルも公開していた。その間には、新たな反例、より強い評価、フェルマーの最終定理の形式化があった。 AI数学の変化を、反証された予想の数だけで評価すべきではない。これらの成果はそれぞれ異なる問いを扱い、根拠も異なり、未完の作業も残している。反例は最善の答えを見つけなくても従来の見方を覆せる。よく知られた予想が未解決のままでも、評価の改善は重要になり得る。コンピューターで検査された証明は命題を確立できても、その着想が別の場面でなぜ役立つのかまでは説明しない。 ここでは、OpenAIが5月20日に発表した点距離問題の成果から、9月のナビエ–ストークス方程式に関する主張までの主要な展開を検討する。報道の基準日は2026年9月22日である。重要な中間発表と、そこから発展した研究も含める。AI支援による数学論文をすべて網羅するのではなく、この一連の流れをたどる。引用された発表、関連する定理の記述、研究論文の導入部、検証文書を読んだが、これらの証明を独立に査読したり、形式化を再構築したりはしていない。 私たちが進歩を示す最も強い根拠と考えるのは二つある。機械が真剣な精査に値する数学的議論を生み出していること、そして人々がその議論の一部からすでに新たな数学を引き出していることだ。これが継続的な進歩になるかは、検証、説明、発展に充てられる資源次第である。 ## 5月：反例が幾何学の新たな道を開く 点距離問題は想像しやすい。平面上に点を並べ、ちょうど1単位離れた点の組を数える。点を増やしたとき、その組はいくつまで増やせるだろうか。 OpenAIは5月20日の発表で、エルデシュ問題の集合を対象に評価した社内汎用推論モデルが新たな構成を発見したと説明した。また、議論を検討した外部の数学者による別の解説論文も公開した。この第二の文書があることは重要だ。研究所によるモデルの説明だけでなく、数学者が何を理解し、どう再構成したのかを読者が確かめられる。[OpenAIの発表](https://openai.com/index/model-disproves-discrete-geometry-conjecture/)。 原論文は、ある正の定数δを固定したとき、少なくとも n^(1+δ) 個の単位距離ペアを持つ点集合を無限に構成する。平たく言えば、例が大きくなっても指数の改善が保たれる。これは、増加がほぼ線形だという予想に反する。一方、任意の点数について単位距離の最大数を正確に決めたわけではなく、最適な評価を探る研究は続いている。[点距離問題の論文](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf)。 意外だったのは、その構成の由来である。数学者による補論は幾何学の成果を高度な代数的整数論と結び付け、先行する数学上の要素を明示している。著者らは簡略化し、ある程度一般化した再構成も示す。これはAIによる発見の後に人間が担う仕事の好例だ。仕組みを特定し、依存関係を見える形にし、他の研究者が扱える議論へと整える。[数学者による補論](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf)。 5月の成果の意義を知りたい読者は、最初の発表と同じくらい、その後の論文も追うべきだろう。研究者が新しい手法を使って別の問いを立て、答えを出すことで、その手法には異なる種類の信頼性が生まれる。 ## 5月から7月：着想が広がり始める 5月27日、Thomas Bloom、Will Sawin、Carl Schildkraut、Dmitrii Zhelezovは実数上の和積予想に対する反例を投稿した。大まかに言えば、これは集合の要素を足したり掛けたりしたとき、集合がどれだけ大きくなるかを問う問題である。彼らの構成では、和でできる集合も積でできる集合も、予想されていたほぼ二次の規模より小さく保たれる。著者らは、点距離問題の反例をきっかけに次数の大きい数体を再検討したと明記する。また、最終的な構成には先の結果ほど多くの数論を必要としないと説明している。[和積問題の論文](https://arxiv.org/html/2605.28781v1)。 これはAI由来の成果が人間の数学研究を刺激した具体例である。後続論文をAIが書いたと示すものではなく、研究所の実績に含めて著者たちの貢献を消すべきでもない。 Cosmin Pohoataのプレプリントは6月11日に初投稿され、6月28日に改訂された。Elekes–Rónyai問題へとこの一連の展開を広げ、適切な集合上で値が予想より増えにくい多項式の例を示す。最近の点距離問題と和積問題の構成要素を使い、問題どうしのつながりを明示している。[Pohoataの論文](https://arxiv.org/html/2606.13619v2)。 7月6日、Sungchul Lee、Pohoata、Daniel Zhuはミンコフスキー格子について新たな成果を投稿した。彼らの構成は部分集合内の反復距離の性質を保ち、反復距離や二等辺三角形に関する問いに影響をもたらす。これは、特異に豊かな配置を一つ示し、その内部構造を調べないままにするよりも強い構造的成果である。[ミンコフスキー格子の論文](https://arxiv.org/html/2607.05374v1)。 ここには楽観的な見方を裏付ける証拠がある。5月の成果は、数週間以内に他の研究者が改変し再利用できる材料を提供した。私たちが提案する成功の尺度は、理解に必要な労力も含め、こうした利用可能な手法が生み出されることだ。問題を解いた数だけでは、この違いを捉えられない。 ## 7月：ヤコビ予想の反例が適用範囲の重要性を示す もう一つ注目された出来事はヤコビ予想をめぐるものだった。Terence Taoが7月21日に発表した解説は、Fable AIを使って得られた反例を検討する。複素数3変数の多項式写像は、小さな近傍では可逆に振る舞うが、全体では異なる点を同じ出力へ写す。予想の一般的な主張は3次元以上では成り立たず、2次元の場合は未解決のままだ。Taoは明示的な式を示し、構成の幾何学的な仕組みを説明している。[Taoによる数学的解説](https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/)。 明示的な反例があれば、核心となる矛盾を比較的計算しやすい形で示せることがある。なぜそのような例が存在するのか、類似の例をどう構成するのかを見いだすには、さらに数学的な作業が必要だ。ヤコビ予想の事例では、そうした別々の課題を公刊物で確認できる。 この区別は9月にも重要だった。Arno van den Essenが9月15日に公開したプレプリントは、線形座標変換の後でLevent Alpögeが発見した例と同値になる反例への初等的な道筋を示す。元の予想を二度目に独立して覆したのではなく、構成を新たに説明したものである。[van den Essenの論文](https://arxiv.org/abs/2609.17795)。 研究責任者にとっては、何を評価するかを実務的に変える示唆がある。複雑な発見を理解しやすくする人への資金提供は、見出しになる成果をもう一つ探すための資金と同じくらい、その後の研究を切り開くかもしれない。これは一連の出来事に対する私たちの評価であり、大学がすでにインセンティブを変えたという主張ではない。 ## 8月：数学上の主張が幅広く提示される OpenAIは8月1日、数学と理論計算機科学にわたる10分野の成果を発表した。同社によれば、社内版Astraが議論を生成し、人間がモデルと協力して論文を準備し、モデルがLean証明書を作成したという。単一の成果を発表した5月とは異なる制作過程であり、論文準備における人間の貢献が明示されている。[8月の発表](https://openai.com/index/ten-advances-in-mathematics/)。 8月6日に更新された付属の研究集成には、次の成果が報告されている。これは論文の主張を要約したものであり、BIG CHANGEが個別に認証した10件の成果ではない。 - **球充填：**高次元における、より鋭い漸近的上界。 - **二元符号と球面符号：**指定された距離における符号サイズの、より強い上限。 - **群論：**非ソフィック群の構成。 - **作用素環：**Connesの剛性予想に対する反例。 - **算術計算量：**パーマネントに対する、回路と算術式のより強い下界。 - **量子ゲーム：**指数的な並列反復定理。 - **格子問題：**最近ベクトル問題に対する、より強い近似困難性の成果。 - **凸幾何学：**Ehrhartの体積予想の証明。 - **ラムゼー理論：**多色三角形ラムゼー数に対する、超指数的な下界。 - **極値グラフ理論：**コンパクト性予想と退化性予想に対する反例。 [10件の成果をまとめた研究集成](https://cdn.openai.com/pdf/ten-proofs-oai.pdf)。 対象範囲の広さは重要だが、それゆえ単一の合計値は誤解を招く。反例の発見、評価の改善、一般定理の証明は、それぞれ異なる意味を持つ。また、数学問題の難しさに関する成果が、実運用中の暗号システムへの攻撃を自動的に示すわけではない。応用には独自の推論と証拠が必要である。 8月10日、Anthropicはリーマン予想に関連する、より限定的に定義された進展を発表した。同社によれば、未公開のClaudeモデルが、臨界線上にあるゼータ零点の割合について下界を改善した。Anthropicの数学者が成果を検討し、外部の専門家が論文を査読し、形式化も行われたという。同社はClaudeがリーマン予想を解いたのではなく、これらの手法で解けるとも考えていないと明言している。[Anthropicの説明](https://www.anthropic.com/research/riemann-zeta)。 リンク先の論文は3分の2をわずかに上回る、約67.25％の下界を示し、用いた先行解析結果を明記している。これは漸近的な数学上の主張であり、有限個の零点を大量に確認して予想を証明したという話ではない。この違いは重要だ。割合の下界が示されても、対象となるすべての零点が直線上にあるとは限らない。[ゼータ零点に関する論文](https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf)。 野心的な原稿はほかにも出回っている。Alpögeのウェブサイトに置かれた文書は、6次元球面上の複素構造を提案する。その構成は検討できるが、私たちが確認した版からは、確かな発表日やAIの貢献に関する完全な説明を確認できない。そこで、読者が調べられる提案として取り上げる一方、この年表で独立に確立された節目としては扱わない。[6次元球面に関する原稿](https://alpo.ge/s6.pdf)。 ## 9月上旬：素数間隔が検証の境界をあらわにする 発表は素数間の隔たりにも及んだ。Axiom共同研究チームの9月3日付予備論文は、差が212以下の連続する素数の組が無限に存在すると述べる。Julia Stadlmannの解析研究と、先行するPolymathプロジェクトの貢献を明記している。Lean証明書では、解析的評価と別途検査された変分法の証明書も仮定として用いる。これは有界間隔問題を前進させるが、双子素数予想が求めるのは差がちょうど2となる組の無限性である。[Axiomチームの論文](https://primegaps.axiommath.ai/bgp212.pdf)。 OpenAIが公開するPrimeGaps186リポジトリは、重要な留保を付けながら、さらに小さい上界を提示している。Lean開発は、文献中の二つの評価と数値積分の評価を含む三つの入力公理を条件としている。リポジトリによれば、数値証明書はこれらの公理を解消していない。したがって読者は、提案された数学的議論と、指定された入力のもとで形式的に検査された部分とを区別する必要がある。この成果物を基礎公理だけに基づく無条件の完全形式証明と説明するのは不正確だ。[PrimeGaps186リポジトリ](https://github.com/openai/PrimeGaps186)。 OpenAIの別の論文は、大きな素数間隔、すなわち連続する素数の間隔がどれほど大きくなり得るかを扱う。増加する閾値を下回る最大間隔について、下界の改善を報告する。これは近接した素数ペアが無限に存在するかという問いとは別の極値問題であり、一方の進展を他方の解決として数えるべきではない。[大きな素数間隔に関する論文](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf)。 こうした詳細があるからこそ、素数間隔の事例は特に有益だ。見出しに並ぶ二つの数値は単純な競争に見えるかもしれない。証明の依存関係が明らかになると、どの段階がどの手法で確立されたのか、という問いのほうが重要になる。形式化が未完でも、仮定を明示することには価値がある。 ## 9月4日：形式化も発見の物語の一部に Anthropicが9月4日に発表したのは、数学的証明がすでに知られていた定理、フェルマーの最終定理に関する成果である。主張された成果は、Claudeが11日間かけてほぼ自律的に完全なLean形式化を作ったことだ。同社は人間による指示と、エージェントが依存関係を追跡するための共同作業プラットフォームを説明し、この成果が受け継ぐ数学的証明の伝統にも謝意を示している。[形式化に関する発表](https://www.anthropic.com/research/formalizing-fermats-last-theorem)。 公開リポジトリは、見出しより具体的な根拠を提供する。定理を記し、依存関係を記録し、Leanの標準公理とMathlibにおける命題との照合を説明している。また、保守されていない研究成果物とも明記する。私たちはこの文書を確認したが、ビルドを再実行してはいない。[フェルマーの最終定理のリポジトリ](https://github.com/anthropics/fermats-last-theorem)。 候補となる議論を生み出すのと同じツールが形式化にも役立つなら、検証能力も拡大できる。これは大いに期待できる理由だ。後続の研究者は具体的な検討材料を得る。ただし、中間結果を再利用しやすいか、依存関係を保ったままビルドできるか、成果物を誰が保守するのかは、なお確認が必要である。生成されたコードの量だけでは答えられない。 ここには制度上の有意義な選択がある。研究所は証明をモデルの完成したデモとして公開することも、他の人が使う基盤として支援することもできる。公開後に生じる責任はそれぞれ異なる。保守、説明用の例、安定した参照先も研究予算に含めるべきだ。 ## 9月8日：ナビエ–ストークス成果が実際に主張すること 流体に関する成果は、これらの問いをさらに際立たせる。OpenAIが9月8日に発表し、9月10日に更新した内容は、ナビエ–ストークス方程式の存在と滑らかさ問題に対する解決案を示す。社内モデルが複数のエージェントを調整しながら取り組んだと説明し、文章による議論とLean形式化を公開した。OpenAIはミレニアム懸賞金に応募する意図はないと述べている。[発表](https://openai.com/index/navier-stokes-solution/)。 原稿が扱うのは、正の粘性と慎重に構成された外力を持つ3次元非圧縮性流体の運動である。静止状態から始め、全エネルギーを有界に保ちながら、有限時間で速度が非有界になるとする解を提案する。外力は滑らかで、空間的にも時間的にも局在する。その数学的構成では、崩壊する渦と補正項を用い、残る外力が滑らかになるよう調整する。これは方程式の解についての主張であり、物理実験の観測結果でも、新しい工学シミュレーターでもない。[ナビエ–ストークス方程式の原稿](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf)。 外力は成果の適用範囲を理解するうえで中心的な要素だ。Charles Feffermanによるクレイ数学研究所の公式問題記述では、破綻に関する選択肢CとDで滑らかな外力が認められている。一方、全域的な滑らかさを問うAとBは外力なしの方程式を扱う。提案された種類の正しい成果は、明示的に認められたクレイ問題の選択肢に答え得るが、外力なしでの全域正則性問題は未解決のままである。外力は関係ないと言えば定理を誇張し、提示された問題の範囲外だと退ければ規則を誤って説明する。[公式問題記述](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf)。 OpenAIは粘性のない理想流体に関する別個のオイラー方程式の議論も公開した。その原稿は外力を用いず、滑らかな初期データから有限時間で破綻することを提案する。オイラー方程式とナビエ–ストークス方程式は関係しているが、この二つの論文の仮定と結論を混同してはならない。[オイラー方程式の原稿](https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf)。 周辺の研究史も重要だ。欧州数学会が9月10日に発表した声明は、Córdoba、Martínez-Zoroa、Zhengに加え、Alpöge、Buckmaster、さらに以前からの数学的貢献を認めている。また、アクセス、著者資格、功績の帰属に関する問いも提起した。モデル名から定理へ一直線に進む説明では、その研究を可能にした積み重ねが見えなくなる。[欧州数学会の声明](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225)。 9月11日、クレイ数学研究所は、見かけ上の解決に対する慎重な期待を示し、評価と功績の配分を意図的に急がず進めると述べた。これは意義ある制度的な反応である。賞の授与でも、成果のあらゆる側面が査読を終えたという宣言でもない。[クレイ数学研究所の発表](https://www.claymath.org/news/navier-stokes-announcement/)。 読者にとって、これ以上付け加えなくても正確な結論は十分に大きい。AI研究所が、認知されたミレニアム問題を対象とする証明案を、検討可能な数学的・形式的資料とともに公開し、主要機関が真剣に受け止めている。より広い受容、功績の帰属、理解には、なお作業が必要である。 ![Manuscript pages lead to a magnifying glass over a statement and dependency pages, then to an explanatory book and reusable pages.](/api/media/file/proposal-check-understanding-inline-v2.png) ## 証明検査が答えるのは、明確に定められた問いである 形式検証によって、査読者が利用できる証拠は変わる。同時に、報道の精度も高めなければならない。 Leanの公式文書は、証明の妥当性と、証明対象となる命題の意味を区別している。基本的な検査に成功すれば、形式化された命題が定義と仮定から導かれることが確認される。追加検査では、未完の依存関係を見つけ、公理を監査し、独立に定めた命題と証明を照合できる。文書は外部検査器を使う強化された検証も説明しつつ、なお残る仮定を示している。[Leanの検証ガイド](https://lean-lang.org/doc/reference/latest/ValidatingProofs/)。 あるアルゴリズムのすべての入力に適用できる上界を必要とする研究者を想像してほしい。補助ツールは形式的に正しい定理を示したが、許容される入力の定義から難しい種類を除外していた。このとき証明が正しくても、研究者の応用には根拠が足りない。問いを形式命題へ移す際の注意が必要な理由を示す仮想例である。 新規性の確認は別種の検査となる。証明システムでは、同じ議論が異なる用語で以前の論文に掲載されていないか、功績の帰属が網羅されているか、主張された改善が応用上の重要な変化をもたらすかまでは判断できない。こうした評価には文献調査と専門知識が必要だ。 そのため、大きな成果を公表する研究所には、長期に利用できる一式の資料を求めたい。通常の数学用語で記した正確な主張、可能であればその形式的表現、証明と依存関係、人間とモデルの貢献に関する明確な説明、何が検討・修正されたかの記録である。これは私たちが提案する報告基準だ。他の研究者が責任の所在を確認し、関連する検査を再現できるようにする。 ## 諮問グループが拡大する調整課題に取り組む 9月21日に発表された「数学と人工知能に関する諮問グループ」は、こうした状況のなかで登場した。グループは独立かつ無報酬で、関係するAI企業からの諮問依頼を受ける意向だと述べる。当面は、OpenAIが得たと報告する追加成果の公開について助言する。公開の提言を約束し、企業内の意思決定権は持たないと明言している。Terence Taoのブログに載った発表は、グループによるゲスト投稿である。[グループの声明](https://agmai.org/)。 OpenAIは、査読、伝達、重要性、普及に関する助言を役割として説明している。一方で、社内の数学研究を進める速度について助言する責任はないとも述べる。したがって、この諮問役は検討と調整の窓口と理解すべきであり、決定権は企業に残る。[OpenAIによる諮問グループの発表](https://openai.com/index/advisory-group-on-mathematics-and-ai/)。 この仕組みを歓迎する理由はある。よりよい調整によって査読の重複を減らし、適切な専門家を見つけ、成果の説明を根拠に見合うものにできる。限界も明らかだ。助言には応答が必要であり、独立性だけでは執行の仕組みにならない。読者は公開される提言と、それに対する企業の対応を見守るべきだ。 懐疑的な見方は、研究の目的にも向けられている。9月11日の「数学とAIに関する宣言」は、列挙された問題を解く競争によって、理解の発展や次世代の数学者の育成がおろそかになる可能性を論じる。署名者たちは、着想を教えられ役立つものにする過程が損なわれるリスクを述べる。これは分野の関係者による重要な立場表明だが、AIの利用がすでにあらゆる場面で害を与えたと示す測定結果ではない。[宣言](https://mathandai.org/)。 Henry Cohnは9月15日、Taoのブログに載せた寄稿で関連する論点を掘り下げる。説明の不十分な成果は、それを理解する研究コミュニティに大きな作業を課しかねないという。説明を担う人々へのインセンティブも懸念している。ここでも正確な帰属が大切だ。掲載先はTaoのブログだが、文章を書いたのはCohnである。[Cohnの論考](https://terrytao.wordpress.com/2026/09/15/the-technical-debt-of-ai-generated-mathematics/)。 ## 次の進展は、他の人がより簡単に使えるものに 5月から9月までの流れは、具体例を伴う希望の持てる見方を支える。幾何学上の反例から新たな構成が生まれた。研究者は意外な多項式写像をより明快に説明する方法を見いだした。形式化によって複雑な推論を検討するための成果物も増えた。モデルの出力と数学の実践との生産的な関係を築く要素は、すでに見えている。 悲観的なシナリオも現実的だ。研究所が、他の人々が理解するより速く成果案を生成し、発表を完成した科学的貢献として数えるかもしれない。査読の負担が少数の専門家に押し付けられ、資源と名声は未処理の成果を生むシステムに集まる可能性もある。モデルへのアクセスが限られれば、発見を生み出す側と評価を求められる側の不均衡が深まるおそれがある。 私たちは、研究所、資金提供者、学術誌はこの両面を測るべきだと考える。候補となる発見に加えて、独立した検討、有用な簡略化、修正された議論、再利用可能な形式ライブラリ、その後の研究も追跡する。成果を理解可能にした人々にも功績を与える。発表と同じように、訂正も継続して公開する。 次のブレークスルーを追う読者にとって、最も示唆的な問いは具体的だ。別の研究者が、以前にはできず、今なら何をできるのか。反例を構成する、より強い保証を確立する、難しい議論を検査する、新しい手法を教える、といった答えがあり得る。AI数学の進歩が数学そのものの進歩になるのは、そこにおいてである。 ## Sources - [OpenAI：点距離問題の発表](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) — 2026年5月20日。公開日と、モデルの関与および外部検討に関する同社の説明を確認できる。優先性や自律性に関する主張は、制作の全段階を独立に評価したものではない。 - [OpenAI：多数の単位距離を持つ平面点集合](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf) — 5月20日の発表と同時に公開。要旨と主定理は、指数に一定の正の改善を持つ無限族を示す。この反例は正確な極値関数を決めるものではない。私たちは証明を査読していない。 - [Alonら：点距離問題の反証に関する所見](https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-remarks.pdf) — 5月発表に付随する論文。人間が検証した再構成と、一定の簡略化・一般化を示し、先行する整数論研究への帰属を明記する。主張を読むことと数学的手順のすべてを独立に検査することは異なる。 - [Bloom、Sawin、Schildkraut、Zhelezov：実数上の和積予想は偽である](https://arxiv.org/html/2605.28781v1) — 5月27日のプレプリント。序論は点距離問題の反例が着想を促したと明記する。人間が執筆した後続研究であり、ここで紹介しても証明をOpenAIに帰属させたり、学術誌への掲載が確定したことを示したりするものではない。 - [Cosmin Pohoata：分解素数とElekes–Rónyai問題](https://arxiv.org/html/2606.13619v2) — 6月11日に初投稿、6月28日に改訂。多項式展開に関する反例を述べ、最近の構成をどう用いたか説明する。日付はプレプリントの版を示し、最初の公開発表日を断定するものではない。 - [Lee、Pohoata、Zhu：ミンコフスキー格子には頑健に多数の反復距離がある](https://arxiv.org/html/2607.05374v1) — 7月6日のプレプリント。部分集合でも頑健に保たれる反復距離に関する著者らの主張と、その帰結を示す。推定を独立に証明したり、AIの著者資格を示唆したりせず、適用範囲と文書に記された着想を要約する。 - [Terence Tao：ヤコビ予想の反例を読み解く](https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/) — 7月21日にTaoが発表した数学的解説で、写像を明示し説明する。3次元以上の反例と未解決の2次元の場合を区別する。コメント欄の未検証の主張は用いていない。 - [Arno van den Essen：ヤコビ予想の反例を見いだす初等的な方法](https://arxiv.org/abs/2609.17795) — 9月15日のプレプリント。座標変換後にAlpögeの例と同値な例を、初等的な道筋で導くことを貢献として述べる。これは説明を発展させる研究であり、無関係な二つ目の反例発見を示す証拠ではない。 - [OpenAI：数学と理論計算機科学における10の進展](https://openai.com/index/ten-advances-in-mathematics/) — 8月1日の発表。社内モデル、人間による論文準備、モデルによる形式化の間で作業をどう分担したかという主張を説明する。同社のトークン費用比較は省き、この発表を独立した査読とは見なさない。 - [OpenAI：10件の進展に関する研究集成](https://cdn.openai.com/pdf/ten-proofs-oai.pdf) — 8月1日の発表後、8月6日に更新された集成。記事の簡潔な一覧は、報告された10分野を要約する。査読者のように全253ページを読んだのではなく、要旨、目次、選択した定理記述を確認した。 - [Anthropic：Claudeの数学能力について分かったこと](https://www.anthropic.com/research/riemann-zeta) — 8月10日発表、8月13日更新。ゼータ零点に関する研究、人間による検討を説明し、リーマン予想が未解決だと明記する。モデルの過程と検証に関する説明はAnthropicによるものとして扱う。 - [Claude／Anthropic：リーマンゼータ関数の零点](https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf) — 8月11日付の原稿で、8月13日更新の発表からリンクされている。要旨と定理Aは、漸近的な割合、単純性、臨界線上の位置を区別する。改善された定数は約0.6725であり、予想全体の証明ではない。 - [Alpögeのウェブサイト掲載：6次元球面に関する原稿](https://alpo.ge/s6.pdf) — 発表日不明の版を9月22日に確認。題名と冒頭は6次元球面上の複素構造を提案している。成果物から確かな公開日やAIの貢献全体を確定できないため、留保付きの提案として扱う。 - [Chartonら：小さな素数間隔に関する新しい評価](https://primegaps.axiommath.ai/bgp212.pdf) — 9月3日の予備稿。要旨と定理1.1は212という上界を示し、先行研究に謝意を示す。付録AのLean証明書は解析的な入力と別途検査済みの変分法証明書を仮定するため、基礎公理から完全に形式化されてはいない。 - [OpenAI：PrimeGaps186リポジトリ](https://github.com/openai/PrimeGaps186) — 9月22日に現行リポジトリを確認。READMEはLean開発に未証明の入力公理が三つあると明記する。数値証明書はそれらを解消しない。ビルドや数値証明書を実行せず、文書を確認した。 - [OpenAI：連続する素数間の大きな間隔](https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf) — 9月3日のAstra発表からリンクされた原稿。定理は、増加する閾値以下における最大素数間隔の下界を扱う。小さな素数間隔や双子素数に関する主張とは別であり、証明を独立に検査していない。 - [Anthropic：フェルマーの最終定理を形式化する](https://www.anthropic.com/research/formalizing-fermats-last-theorem) — 9月4日の発表。11日間の形式化作業を報告し、調整と人間の指示について説明する。既知の数学の検証に関するもので、所要時間と自律性は同社による説明である。 - [Anthropic：フェルマーの最終定理のリポジトリ](https://github.com/anthropics/fermats-last-theorem) — 9月22日に現行リポジトリを確認。命題、依存関係、公理検査、Mathlibとの比較を記す。公開物は保守されていない研究成果物とされる。形式証明のビルドを再実行せず、独立に検証もしていない。 - [OpenAI：ナビエ–ストークスのミレニアム懸賞問題について](https://openai.com/index/navier-stokes-solution/) — 9月8日の発表、9月10日更新。研究所の主張、エージェントを用いた制作過程の説明、懸賞金を申請しない決定を確認できる。非公開の優先権争いを裁定せず、発表をコミュニティによる検討の完了と同一視しない。 - [OpenAI：ナビエ–ストークス方程式の原稿](https://cdn.openai.com/pdf/32d9f210-8b73-45e0-91bc-82a30aef8a9a/navier-stokes.pdf) — 9月8日公開。序論と定理1.1は、正の粘性、滑らかでコンパクト台を持つ外力、静止した初期状態、有界エネルギー、有限時間の速度爆発を記述する。これは提案定理の範囲を示し、私たちによる独立検証ではない。 - [Charles Fefferman：ナビエ–ストークス問題の公式記述](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — クレイ数学研究所の公式定式化を9月22日に確認。選択肢CとDでは滑らかな外力を認め、AとBでは外力のない滑らかさの問いを示す。URLのアップロード用ディレクトリを原著の公開日として用いていない。 - [OpenAI：オイラー方程式の原稿](https://cdn.openai.com/pdf/315b36cd-ec98-4023-8342-93345194ece1/euler.pdf) — 9月8日の資料とともに公開。定理1.1は滑らかで外力のないオイラー方程式の初期データと、有限時間での導関数／渦度の破綻を扱う。方程式や結論を、外力を含む別個のナビエ–ストークスの主張と取り違えてはならない。 - [欧州数学会：ナビエ–ストークス発表に関する声明](https://euromathsoc.org/news/ems-statement-on-recent-navier-stokes-announcement-225) — 9月10日の声明。現代および先行する数学的貢献を認め、アクセスと功績の帰属について論じる。制度的背景を与えるもので、独立した証明書でも、優先権をめぐるあらゆる問題の決着でもない。 - [クレイ数学研究所：ナビエ–ストークスに関する発表](https://www.claymath.org/news/navier-stokes-announcement/) — 9月11日の応答は、見かけ上の解決に慎重な言葉で触れ、意図的に時間をかける評価手順を説明する。深刻な制度的関心の証拠だが、ミレニアム懸賞金の授与を告げる発表ではない。 - [Lean：Lean証明を検証する](https://lean-lang.org/doc/reference/latest/ValidatingProofs/) — 9月22日に確認した最新の公式文書。証明の妥当性、命題の意味、公理監査、より強い検査方法を区別する。形式検査は仮定のもとで具体的な保証を与えるが、新規性、功績、実用性までは確立しない。 - [数学と人工知能に関する諮問グループ](https://agmai.org/) — 9月21日に発足。同じ声明がTaoのブログにもゲスト投稿された。無報酬の独立性、公開提言の約束、企業内の意思決定権を持たないことを確認できる。追加成果のまとまりについてはOpenAIが発表したものとして扱う。 - [OpenAI：数学とAIに関する諮問グループ](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — 9月21日の発表。諮問の範囲を説明し、社内の数学研究の進度について助言する役割を明確に除外する。集計された正しさや新規性を独立に確立できなかったため、新成果の総数に関する主張は省く。 - [数学とAI：数学におけるAIの深刻なミスアラインメント](https://mathandai.org/) — 9月11日の宣言。理解、教育、功績の帰属、インセンティブに関する数学者の議論を示す。分野の参加者による提言であり、AI利用全般の影響を測った統制研究ではない。 - [Henry Cohn：AI生成数学の技術的負債](https://terrytao.wordpress.com/2026/09/15/the-technical-debt-of-ai-generated-mathematics/) — 9月15日にTaoのブログへ掲載されたHenry Cohnの寄稿論文。説明と、成果を受け止める際の作業量を論じる。この主張はCohnに帰属させ、査読コストの実証的推計とは区別する。