OpenAIがNavier–Stokes問題を「解決」？数学者はその問いを拒む
After Math
2026年9月、OpenAIがミレニアム懸賞問題の一つNavier–Stokesの存在と滑らかさをAIで解いたと発表。しかし本稿は、Leanによる形式的証明と回答は「論理的証明」に過ぎず、数学者が理解し発展させられる「知的証明」ではないと指摘。数学を問題解決ゲームと見なす前提自体を問い直し、AIを競争相手ではなく人間の数学的営みを支える技術として捉え直すよう促す。
数学は、勝者が存在しない。数学は、勝利条件が確定した対戦型ゲームではない。
HNでの議論
98- yazaddaruvala
私は文明として、新しい用語を提唱する必要があると思う：「目的の死」
定義としては、次のようなものだ：今や自動化された知能において卓越性を追求するために途方もない時間を費やしたにもかかわらず、自己実現を決して達成できないことによる、個人的な目的の完全な喪失と実存的不安の経験の一時的な状態。
イノベーションのペースを考えると、これは残りの存在期間すべてにおいて、すべての人間にとって普遍的な感情になるだろうと私は本当に思う。
ソフトウェアエンジニアとして、私自身もつい最近それから回復したばかりだ。だから、業界の著名人が公の場で「目的の死」とそれに関連する悲嘆を経験するのを目撃するのは、実に興味深い。彼の書いた瞑想をこのサイクルを通して読み返すのは、有用なケーススタディになるだろう。
テランスは最近、否認の段階を抜け、怒りの段階は賢明にもインターネット上には出さなかったと確信しているが、現在は取引の段階にいる——つまり、目標を必死に変えようとしている。彼がうつ病や燃え尽き症候群の段階も賢明にもインターネットに出さないかどうかは疑問だ。
しかし、目標が次々と崩れ去るにつれて、ほとんどの人間と同様、彼も受け入れ、再構築し、この悲嘆から自分自身と数学に対するより大きな期待を持って新たな目的をもって立ち直るだろう。この最近の投稿もその一部に向かって始まっている——しかし残念ながら的を少し外している。
「したがって、重要な問題は、AIが数学者を打ち負かすかどうかではなく、AIにどの数学的目標を奉仕させるかである。」
彼はまだAIを制御できると考えている。AIは走り、踏みにじるだろう[…]
- sigmoid10
この種の議論は常に危険だ。なぜなら、本質的に目標を動かすことに頼っているからだ。「ああ、AIが今Xをできるようになった？確かにすごいが、まだYはできないから、我々は完全に安全だ！」
人間が証明を処理できず、進歩を見ることができないからといって、将来もそうであり続けるとか、分野を変えないというわけではない。AIがまだできないことだけで自分を定義するなら、手痛い目に遭うことになる。我々は高校数学から大学数学、Euler問題、そしてMillennium問題まで、ほとんどの人が博士号すら取れないような時間枠で進んできた。もし今、次の2年を超える視野で数学研究を始めるなら、現在の進歩の速度に恐怖を感じるだろう。
- zkmon
これは、産業時代が始まって以来、人類の探求が間違った方向に進んできたことを示している。数学やその他の相互接続または相互依存する領域のような分野は、現代においては、農業や生存のような基本的な仕事の外で人々を雇用し続けるためにのみ存在している。これらの領域はすべて取り除かれても、人間は生存と拡大に本当に必要なものの世話をしながら生活を続けることができる。今日行われる「仕事」の99％は泡のようなもので、基本的なニーズから切り離されている。
- svara
この推論の流れが、数学は人間の理解のためのものだという結論を前提としているのではないかと少し心配している。
これは単にそれ自体で真実なのではなく、私たちの尊厳のために、その状態を維持することを保証するのは種としての私たちの責任だ。
しかし、この立場を擁護するのは、気にしないことの経済的価値に対して、極めて困難だろう。
- le-mark
おそらくアラインメントへの道筋は、フロンティア-nextがフロンティア-currentの仕事を私たちに説明する能力があり、意欲的で、熱心であることを要求することを含む。これを行うには、フロンティア-nextは少なくとも私たちのことを少しは考えなければならない。たとえそれが、私たちが群がって穴に運ぶためのパンくずを置くだけだとしても。