OpenAIがNavier–Stokes問題を「解決」？数学者はその問いを拒む
After Math
2026年9月、OpenAIがミレニアム懸賞問題の一つNavier–Stokesの存在と滑らかさをAIで解いたと発表。しかし本稿は、Leanによる形式的証明と回答は「論理的証明」に過ぎず、数学者が理解し発展させられる「知的証明」ではないと指摘。数学を問題解決ゲームと見なす前提自体を問い直し、AIを競争相手ではなく人間の数学的営みを支える技術として捉え直すよう促す。
数学は、勝者が存在しない。数学は、勝利条件が確定した対戦型ゲームではない。
HNでの議論
162- yazaddaruvala
文明として、私たちは新しい用語を提唱する必要があると思う。「目的の死」だ。
定義はこんな感じ：今や自動化された知能において、卓越性に向けた途方もない時間の投資にもかかわらず、自己実現を決して達成できないことによる、個人的な目的の完全な喪失と実存的不安の経験の一時的な状態。
イノベーションの速さのせいで、これからの存在の間、すべての人間にとって普遍的な感情になるだろうと本当に思う。
ソフトウェアエンジニアとして、私自身もつい最近それから回復したばかりだ。だから、業界の著名人が公の場で「目的の死」とそれに関連する悲嘆を経験するのを見るのは実に興味深い。このサイクルを通して彼の書いた瞑想を読み返すのは、有用なケーススタディになるだろう。
テランスは最近、否認の段階を抜け、怒りの段階は賢明にもインターネットから遠ざけていたのは確かで、現在は取引の段階、つまりゴールポストを必死に動かそうとしているところだと思う。うつや燃え尽きの段階も賢明にインターネットから遠ざけてくれるだろうか。
しかし、ゴールポストがどんどん倒れ続けると、ほとんどの人間と同じように、彼も受け入れ、再構築し、自分自身と数学に対するより大きな期待を持って新たな目的とともにこの悲嘆から抜け出すだろう。最近の投稿はその一部に向かって始まっているが、残念ながら少し的を外している。
「したがって重要な問いは、AIが数学者を打ち負かすかどうかではなく、AIにどの数学的目的を果たさせるかだ。」
彼はまだAIを制御できると思っている。AIは走り、踏みにじる […]
- sigmoid10
この種の議論は常に危険だ。なぜなら、本質的にゴールポストを動かすことに陥るからだ。「ああ、AIが今Xをできるようになった？確かにすごいが、まだYはできないから、我々は完全に安全だ！」
人間が証明を処理できず、進歩を見ることができないからといって、将来もそうであり続けるとか、その分野を変えないというわけではない。AIがまだできないことだけで自分を定義するなら、手痛い目に遭うことになる。私たちは高校数学から大学数学、Euler問題、そしてMillennium問題まで、ほとんどの人が博士号すら取れないような時間枠で進んできた。今、2年先を超える視野で数学研究を始めるなら、現在の進歩の速度に恐怖を感じるだろう。
- reisse
まだ誰も口にしない部屋の中の象は、私見では「AIのブレークスルーにより数学研究への公的資金は調整されるべきか？」だ。
スポーツの比較はここでは間違っている。一般大衆は特定の試合結果にお金を払ったことはない。価値は常にショー、その周りの広告や賭け、スポーツを行うことの健康と教育的価値などにあった。そしてスポーツは主に自ら稼ぐもので成り立っており、公的資金ではない。
一方、数学は、人々や国家が数学の進歩が他の科学分野、ひいては私たちの生活に有意義な改善をもたらすかもしれないと信じていたから支払われてきた。もしこれがAIによってよりよく果たされるなら、同じ数の終身在職権のポストに払い続けるべきか？AIによるスピードアップに対応するためにポストを増やすべきか？それとも置き換えられるから減らすべきか？研究にAIを使う人により多く払うべきか、それともAIが生成した結果を説明し探求する人に払うべきか？
- justinparus
「目的地ではなく、旅そのものが大事だ」
今のところ、AIは数学者の道具箱に入るもう一つのツールだ。人間が会話をリードし、世界をよりよく理解するのを助ける。AGIが達成されたら、もしかしたら私たちはそれほど運転席にいないかもしれない。それは重要ではないと思う。数学の目標は、人間が運転していようとAIが運転していようと、世界のより深い理解を達成することだ。
- stabbles
AIは数学の分野をより野心的にするのではないか？ソフトウェア開発ではそう感じる。2025年にはリスクが高すぎて手が出せなかったようなタスクでも、今は取り組めることがよくある。価値があるかどうか不明だったからだ。今はプロトタイプを生成して、何が可能で何を追求する価値があるかについて、はるかに良い判断ができる。
- svara
この推論の筋道が、数学は人間の理解のためのものだという結論を前提としているのが少し心配だ。
これは単独で真実なことではない。私たちの尊厳のために、そうであり続けることを種として確実にしなければならない。
しかし、この立場を守るのは極めて難しいだろう。気にしないことの経済的価値に抗しては。
- HedonicEscal8r
タイトルの言葉遊びが面白い。
- le-mark
おそらくアラインメントへの道は、フロンティア-nextがフロンティア-currentの仕事を私たちに説明する能力があり、意欲があり、熱心であることを要求することかもしれない。そのためには、フロンティア-nextは少なくとも私たちのことを少しは考えなければならない。たとえそれが、私たちが群がって穴に運ぶためのパンくずを置くだけだとしても。