AIが数学の難問を解決していいのか｜柞刈湯葉

「AI が数学の未解決問題を解いた」というニュースを頻繁に見かけるようになった。中でも、ナヴィエ・ストークス方程式の爆発解発見はひときわインパクトが大きい。これは「ミレニアム懸賞問題」として100万ドルの賞金がかけられていた7問のひとつだからだ。いわば21世紀の七大難問と言っていい。 しかし、多くの有名な数学者が、こうした事態に反感を持っているらしい。これは「我々の仕事を奪うな」などという単純な話ではない。「未解決問題は、解決よりも解く過程で生まれる新手法に意味があるので、AI で解かれてはその芽を摘んでしまう」という話だ。 ナヴィエ・ストークス方程式というのは、流体（水とか）の運動についての方程式だ。しかし「水の方程式に爆発解があった」は別に「水が爆発する危険性がある」という意味ではない。理論にはそれぞれ適用範囲というものがあり、この方程式も「水の圧縮は無視できる」といった仮定のもので立

[mahal]

これは分かりやすく重い指摘やね…＞「2¹⁰⁰は何桁か？」という問題…に20世紀のコンピュータがあれば…実際に計算できてしまう。これは答えは出るが…対数の概念が生まれなかった可能性がある。これはかなり困る。

[srng]

なんかわからないけど解決したけど理論は後から考える、は医学薬学は結構そう

[yamamototarou46542]

電子レンジは使えるようになったけど、その原理はわからず、壊れた時に全く直せないというような社会になっても困るな

[Ubobibube]

若い技術者も課程を飛ばして結果だけ求められてしまうからからなぁ。アナログな技術が身につく期待感すら無い。

[paulownia]

「AI が解いた後に人間が理解できるように解き直す」で数学者はモチベを維持できるだろうか。ITの世界ではAIが書いたコードをレビューする役割にウンザリしてモチベを失っているプログラマも少なくないのだが・・・

[auto_chan]

していいです。AIがもたらす実益とその経済合理性の外側にある人間の本能とずっと共存できるよ派。AIがどんなに◯◯最強になっても、人が◯◯したいって欲求はなくならない。それで稼げるかは別の問題だけど……

[nakex1]

AIは単純に答えを計算するという域を超えてきてるのでは。人間では思いつくのが難しい解法，概念，次なる問題を発見してくれる可能性もある。

[north_korea]

AIが対数を発明するから別に良いのでは？人間にしか発明できないなら、AIは脅威ではない。コンピュータのせいで人類の発明が停滞したという証拠がなければ何も論じられない。

[koutya07]

中世の数学者たちに現代のコンピュータを与えたら、それはそれでとてつもない数学を創り上げると思うけどなぁ

[bocuno]

すごい分かりやすい例えだ

[maturi]

人は喩えから逃れることはない

[misshiki]

AIが数学の難問を先に解くと、解く過程から生まれる新概念を失うのか。一方、AIの解答後に人間が理解し直すこともできる。数学における「答え」と「過程」の価値を考える論考。

[TakamoriTarou]

数学を道具として使わせていただく身からすると、答えだけ得ても使えなきゃ困る穴という気持ちが半分、一方で使う事が目的ならそれでもいいかなという考えが半分

[osugi3y]

いやいいだろ。ノーベル賞もディープマインドのデミス・ハサビスが受賞してるんだから。

[kaputte]

そんなこと言ったらラマヌジャンはどうなるんだ

[s17er]

この先に人間が皆平和で生きられる社会があるかどうかだな

[agricola]

何もかもAI任せでおバカさんになるとか、宇宙人ムームーの世界じゃないッスか……。

[otakumesi]

対数のような概念の発明はある種の人間のための工学的な側面な気がしていて、計算で可能な部分はAIに任せて、その結果を理解するために工学的に概念を発明するというのもありなのではないか、とは思う。

[rainbowviolin]

しょうもな。門外漢の的外れエントリ。数学者が怒ってるのはそこではない。今回のOpenAIの手口はほとんど盗用。バックマスターが発表していた解法を、最後だけ数億円かけ計算させただけ。本当ばかばかしい。

[paradisemaker]

science の engineering化という問題。20世紀は science の時代だったが、21世紀はその権威が揺らぐ時代。科学哲学的に本質的なテーマだと思う。

[hiroshe]

なんていうか、カンニングして単位は取れたけど何も学んでない、みたいなことになるんやろか

[medicalcloud]

“AI と人間の関係は、もはや大人と子供の関係に近い。しかしこの「大人」は「子供」のための健全な教育方針を作ってくれない。大人ではあるが親ではない。我々は急に孤児になった。”

[wdnsdy]

AIに「人が考えるように解け」と指示して、その過程を示してもらったらいいのではないか（それができるAIを作ってしまえばいいのでは）と思わんでもない

[door-s-dev]

別にいいんじゃない。数学には予想を立てるって仕事もあるしね

[eye4u]

良い指摘であると同時に、数学の難問解決自体がAIの研究を推し進め結果として難病や気候変動の解決につながるだろうね。しかもそれは思ってるよりずっと早い。

[naqtn]

「アライメント（人の意図とAIが行う事の整合性）の課題として社会で広く議論すべき」という話だと思う。そこが世間に通じていない感。「使うな」ではなく一歩先の「どう使うか」の話。声明： https://mathandai.org/

[xyzzyxyz]

いいわるいではなくて、摂理としてそうせざるを得なくなる。避けられない。アーミッシュが多数派になることは無い。

[Vr3EUJZd]

翻訳者もAIに相当な数が代替されたが、AIが出力したデータを編集する役割を嫌うプロは多い。

[chess-news]

論理構成を作るのは、計算するのと話が別では？　論理を計算する構造を構築できたら、それはそれで発明では。　/. あと、できることは解決して、計算のできない先で戦えばいいのでは？

[JA8XOH]

「AIが人類を滅ぼす」というのは、こういうことだったのか。

[bml]

とはいえもう戻れないので。ただ解けるけど毎回１０年計算が必要で処理能力の進化で縮まるけどってなると数学としてはどうなのかってあるが。

[toichiro]

天才が立てた仮説と証明を天才達が検証して100万ドルの賞金なのだが、天才の仮説という『宝の地図』を凡人がAIで好き勝手にお宝だけ掘り出すという悪夢。高等数学は天才が一生をかけ取り組む世界、怒らないはずがない

[Yuyuziro]

文明レベルを維持するにあたって、人間がAIのバックアップとして機能できなくなるという意味では共感し得る問題提起だが、対価の大きさを思うに「残念だがしょうがない事」のひとつであるように思う。

[Ampelix]

解法がより良い手法に置き換えられるかはアルゴリズムの問題なので、別にAIかどうかに関わらず別課題としてやられるのではないだろうか

[WildWideWeb]

著者の議論とは別に、各人がどういう類推を持ち込むかで色々な展開が。自分も低レベルで行くと「あいつAIでドーピングしてやがる」とか「一番頭がいい人って多分数学者という世間のイメージの崩壊するな」とか

[bxmcr]

数学者もコンピューターを使って研究してきている。まだ公開されているAI単独では数学の難問を解けず数学者と協力して解いている段階だったはず……AI賛成派の数学者もいると思う。

[yuu665]

四色定理を最初に証明したのはコンピュータだけど、人が理解するのは難解ということで後から人でもわかる証明手法を発見した。そういうことは増えるのかもしれない。

[knok]

対数に限ればまあPCでも普通に対数表現の実装は当たり前だしないと成立しないし、どこかで絶対必要になって生まれたとは思うが…逆に既にPCがあるせいで生まれてない概念自体はあるかもしれない

[ROYGB]

数値解析やシミュレーションのような実用的なのはすでにコンピュータ無しではなりたたないけど、いわゆる現実と無関係な公理系内部のことについての話かな。でも過程を飛ばした公式を多く残したラマヌジャンもいる。

[harumomo2006]

数学者は車輪の再発明をしないのだろうか