「数学者も涙する時代に」AI進歩めぐり海外で賛否両論
姉妹サイトの新着
米ライターのDerek Thompson氏が書いた「数学者たちが涙する理由」という記事をめぐり、Hacker Newsで活発な議論が起きていた。AIの数学的推論能力が急速に向上し、研究者としての存在意義そのものが揺らいでいるという内容だ。スレでは、プログラマーは既に同じ経験をしてきたという指摘や、「数学の本質は何も変わっていない」という楽観論への強い反論、助成金という生活基盤への不安まで、立場の異なる意見が真正面からぶつかり合った。
数学者たちが涙する理由
出典: derekthompson.org / 元記事はこちら
数学者たちが見えているものを見ていない人は、自分の仕事も同じくらい危ういと考えていないだけだと思う。OpenAIが自社のAI研究者をGPTに置き換える日も来るだろう。そのときの数学者たちの反応は『今さら驚いてるの?』ってところだろうね
長ったらしくて大半は既視感のある内容だったけど、また『Claudeについての記事』じゃなかったことには感謝したい
たまたま今、ストロガッツの『非線形力学とカオス』を読み返しているところだ。美しい本で、『AIの時代』になったからといって、これに匹敵するものが出てくるとも、この本を読む楽しさが薄れるとも思えない
論点は、『AIの時代』にはストロガッツのようなキャリアを積んで、あれだけの仕事を生み出す機会そのものがほぼ誰にも無くなる、ということだと思う
誰でもボタンを押せば数学の答えが出てくるようになったとしても、それを自分の中に取り込んで思考の一部にできない限り、その人のものにはならない
理解することがそれほど重要で、AIが生み出せるのは知識だけだというなら、数学者たちはそのまま『よりよく理解する』仕事を続ければいいんじゃないのか
数学の教授をしている友人に言わせると、彼らが涙するのは、自分たちも我々開発者と同じ立場――プロンプトを書いてAIの出力を確認するだけの仕事――になりかけているからだそうだ
プログラマーとして言わせてもらうと、自分はもう何年も前から『泣いて』ますよ
数学者として言うと、同業者たちがこれを予見できなかったことが自分には理解できない。『いずれ頭打ちになる』と信じるのはいいが、頭打ちにならない可能性も受け入れておくべきだ。これは他のどんな人間の営みにも当てはまる。自分も悲しいが、その悲しみはある意味すでに織り込み済みだ
自分は高校でカーツワイルを読んだときからこうなると分かっていたけど、それでもやっぱり重い。人より先に心の準備をするチャンスがあっただけだ
まさにそれ。今苦しんでいる人たちは、30年前に警告されていたんだ。もうとっくに受け入れているべきだった。でも彼らは何らかの理由でそれを信じようとせず、現実から目をそらしてきた人たちでもある。だから気の毒には思うけど……これはある程度自分で招いたことだ
この苦悩の大部分は、数学が高尚で純粋に知的な営みではなく、もはや資本集約型のゲームの一つになってしまったことに起因していると強く感じる
『私の研究分野は消し去られた』という言葉があったけど、数学者だけじゃないと知れば少しは慰めになるかもしれない。これは全員に迫っていることだ。コンピューターが人の仕事を奪うという話はずっと前から言われてきて……それがついに来たということだ
『今なら、お前が泣く理由がわかる』――ターミネーターの台詞
自分が泣いているのは、単に金にならなかったからだ
全体としては君の側に立っていると思う。細かい点でも一致する部分の方が多いはずだ。でも『何も変わっていない』という言い方は明らかに間違っている
『何も変わっていない』という言葉を選んだのは、ネット上で見かける『数学はもう解決された』という論調と比べれば、それが正しいと感じたからだ
実務的な意味では『何も変わっていない』に同意する。身の回りを見渡せば、最先端の数学より学部レベルの数学に頼っているものがほとんどだ。証明そのものは重要でも、人々の生活からはかなり遠い話だ
この『恐怖』自体が売り文句なんだ。AIには使い道もあるが、値段に見合うほどではない。だからもっと売れる話が必要になる
悪いけど、『数学は何も変わっていない』というのは本当にばかげた主張だ。大げさに言う人がいるのは確かだが、それは現実から目をそらす理由にはならない
o3が出た時点で、自分が学会で話した多くの数学者の間では、もうこの状況は織り込み済みだった
そうだよね、数学は何も変わってない。数学者たちは謎の理由で泣いてるだけ（もしかしてOpenAIに泣くよう金をもらってる?)。テレンス・タオがAIと数学についてブログを書いているのも、暇だったから（あるいは彼もOpenAIから金をもらってるから）なんだろうね
個人的には過剰反応だと思う。多くの数学者はo3が出たときも現実から目をそらしていたけど、これは論理的な帰結でしかない。超人的な推論能力というのは
まあ正直、何かに『deontic（義務論的）』なんて名前をつけるのは分かりにくくするだけだよね
それは違うと思う。だったらなぜ最近『〜っぽい（shaped）』とか『基盤になっている（load bearing）』みたいな言い回しを使う人が増えているんだ?
『いずれ学習済みの範囲でできることは尽きて、それ以上をやらせるには人間が新たに見つけた知識で再学習させるしかなくなる』とあるけど、それはどうして分かるんだ?
それは『人間はLLMにはできない形で独創的になれる』という前提に立っているけど、その前提が成り立つとは自分は思わない
そもそも問題を作るのに数学者が必要なんじゃないのか? これまでAIが解いてきたものは全部、人間が立てた問いだ。だから病気の解明の方が難しいんだろう（人為的なウイルスは別だけど）
他サイトの新着
大学そのものの話じゃなくて、これから数年の助成金の話だ。AIが人間より有用なら、その仕組みは簡単に崩れる。トークンで済むなら、わざわざ人に金を払って発見させる理由がどこにある?
数学者を育てる仕組みが枯れてしまったら、誰がニューラルネットの開発を続けるんだ? 最先端の研究所がAI研究そのものを機械に委ね、人間は失業保険を申請する――そんな未来を見ることになるのか?
そもそも助成金を出しているのは誰で、それが本当に止まると思っているのか? 数学には無限にパズルが存在する。この助成金はボーイングやウォルマートのように、すぐに答えが必要な企業から出ているわけじゃない。もしそうならやめる理由も分かるけど
君の大切な人たちが、もっと気の合うロボットに君を置き換えたとしたら。もう誰も君の生死を気にしなくなる。それでもまだ『気持ち悪い』で済ませられるか?
自分をロボットに置き換えるような人は、そもそも自分を愛していなかったということだ。もしそうなったら、本当に自分を気にかけてくれる人間を探しに行くし、キリストはいつも自分を愛してくれているという事実に慰めを見出すよ
これは技術そのものの根本的な限界なのか、それとも学習パイプラインに適切な課題セットが足りていないだけなのか、気になるところだ
学習データの大部分が、そもそも質の低い文章だからかもしれない
Gemini（少なくともFlash 3.6〜3.8）の文章は、自分にはかなり『人間らしい』と感じる
そこに金は無いんだ。金になるのはプログラミングで、数学はモデルに超人的な推論能力を持たせるための良い目標ではあるけど、文章の方はもう中間管理職のメールを全部書けるくらいには十分うまい
『あっという間だった』――それがシンギュラリティというものだ。これからも、理解が追いつかないほど速くなっていく
ここに関してはそう見えないけどね（リンク先参照）
この話題の背景と論点
背景には、AIの数学的推論能力が近年急速に向上し、難解な証明や未解決問題への貢献例が相次いで報じられてきたという事情がある。数年前まで「電卓止まり」とみなされていた分野だけに、数学者の間に動揺が広がるのも無理はない。スレで割れたのは、この変化を「職業の危機」と捉えるか、「数学という営みの本質は変わらない」と捉えるかという一点だ。前者はプログラマーが既に経験した自動化の波を数学にも重ね合わせ、後者は証明を理解し自分の思考に取り込む人間の営みそのものは代替できないと主張した。レスの中では直接語られていないが、この対立の背後には、研究者の雇用が大学や研究機関の助成金に直結しているという事情がある。「AIの方が安く済むなら人を雇う理由がない」という発言は、単なる技術論ではなく、研究予算の配分という生々しい利害を反映したものと見るべきだろう。
※本記事は海外掲示板 Hacker News のスレッド「I know why Mathematicians weep」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
この記事のリアクション
まだコメントはありません。