「数学は証明以上」の主張に海外掲示板で賛否 AI時代の”理解”を巡る論争
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP【衝撃】ローソンの300円弁当、貧相すぎて泣けてくる…
- ニュース速報まとめMAP【第2次高市改造内閣】副大臣・政務官の顔ぶれ固まる 今井絵理子、赤松健、生稲晃子、森下千里ら
- なんJ傑作まとめアンテナMAPちいかわ最近知ったんだが「モモンガ」が受け入れられてるのおかしいだろ
- アニメ声優まとめアンテナMAP【悲報】女「楽しいピクニック女は気の利かない馬鹿女。こんなのを好んでるのは自分以下の女じゃなきゃ安心できない弱男だけ」
- VTuberまとめアンテナMAP【ホロライブ】ラオーラの料理が美味そう ←『カリオストロの城の料理やん』
- だめぽアンテナ【GIF動画】紐パン水着のフランス美女さん、伊豆で発見される
- ヌルポあんてなデニーさん「私が勝っていたら、沖縄はさらに豊かになっていたということをハッキリ申し上げたい」
- 2chまとめアプリ+【GIF画像】うっかりクスっとするようなｇｉｆｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
- News人預金を引き落とす謎の人物「ヤマハゲ ツシヤ」→履歴を確認した結果・・・他
- ブルーアンテナどこの女子校にもありふれた普通の性指導 〜桜女学園〜 1
- ウマーあんてなワイの昼飯
- リアルな海外の反応アンテナ【PICK UP】【わーすぽ 海外の反応】バルサのCL優勝にカギとなるのは？（海外の反応）
- とろたまヘッドラインジョコビッチはもうアカンのかな・・・来年引退なんかなあ
- うほうほあんてな【悲報】長野県、ガチで『危険な状態』になってしまう・・・・
- まとめクローラ【悲報】まどマギ映画、30億すらも厳しそうｗｗｗｗｗ
- アナグロあんてな【画像】山本里菜アナ まさかの半ケツビキニを公開！！【GIF動画あり】
- ワロタあんてな【動画】南シナ海で巨大なうねりを横から食らったばら積み貨物船からの映像が(((ﾟДﾟ)))
- ぶーアンテナ【速報】男の若返り飯、『これ』が最強らしい
- 2ちゃんねるアンテナパヨクさん、古謝玄太氏の家族情報をネットにアップロードし炎上。非難の嵐
- 海外の反応ジャーナル「日本で古くから伝わる包丁研ぎのやり方を体験してみた」海外の反応
数学者テレンス・タオのブログに、YouTubeチャンネル「3Blue1Brown」で知られるグラント・サンダーソンが寄稿した「数学は証明以上のものだ」という記事が、海外掲示板Hacker Newsで話題になった。証明を書き上げること自体よりも、「なぜその定理が重要なのか」「なぜその定義はその形なのか」を理解し伝える営みをもっと評価すべきだという主張に対し、コメント欄では「そもそも大半の人は数学を証明以上どころか算数の延長としか思っていない」という反論や、AIが証明を肩代わりする時代に「難問を解いた」という実績が持つ意味が薄れるのではという懸念、逆にAIが人間を寄り道や探求に自由にしてくれるという楽観論が交錯した。
数学が証明以上のものだとしたら、私たちはその『残りの部分』ももっと称えるべきだ
出典: terrytao.wordpress.com / 元記事はこちら
これは必要な方向性だと思う。最近のGowersの投稿を読んだ個人的な感想では、数学は『グッドハートの法則』に苦しんでいる。『尺度が目標になった瞬間、それは良い尺度ではなくなる』というやつだ。
難しいことをやり遂げるというのは、a) それを理解し必要な背景知識も身につけている、b) 問題解決全般に役立つ技法や方法論を体得している、というシグナルだった。今はもう何のシグナルにもならない
正しくはTimothy Gowersね
気になるのは、『理解する』ということが人類の進歩にとってすごく重要だという点。フェルマーの定理を解くのに400年かかったこと自体が、たくさんの『寄り道』を生んだ。その寄り道が楕円曲線暗号のような他分野の発展にもつながっている。AIによってこの寄り道が失われるんじゃないかと心配している
その寄り道の副産物として、今度はAI自体のイノベーションが生まれるんじゃないか
自分は数学や科学でAIを使わないけど、経験上ほとんどのモデルは隙あらばすぐ大量のトークンを寄り道に使いたがる
LLMが生成した証明をLLMの助けを借りて学ぶのが楽しい(リンクあり)。形式化された証明の記録にしっかり基づかせると、たとえそれが別のモデルによって作られたものでも、モデルの出来がすごく良くなるのは驚き
それの実地レポートをぜひ聞いてみたい。証明を一歩ずつ辿りながら必要な背景を説明するのは得意そうだと容易に想像できる。でも元記事も指摘している通り、一番大事な問いは『なぜこの定義はこの形なのか』であって、Leanの情報だけではLLMがそれに答える助けにはならないんじゃないかと思う
たとえ数学のあらゆる命題を証明・反証できるようになったとしても(停止性問題のせいで実際は不可能だが)、どの命題を『定理』と呼ぶかは結局人間が決めることになる。『定理』というものは、数学の構造を人がより理解しやすくするために人間が作り出した仕組みだから
数学アカデミア2025年『悪いけどここは超すごい問題解決者だけの場所だから』。数学アカデミア2026年『私たちは単なる問題解決者以上の存在だった』。ただ正直、みんな騒ぎすぎだと思う。GPT何某がgccをゼロから書けるようになったら起こしてくれ、カリー=ハワード対応的にそれなら感心する
興味深い見出しだ。というのも、自分の知る限り大多数の人はすでに『数学は証明以上のものだ』と思っている。それよりやや少ないとはいえ、それでも非常に多くの人は、そもそも『証明』を数学のイメージにすら含めていない
『証明を数学のイメージに含めていない』どころか、厳密に言えば一番多いのは『証明って何?』という人たちだと思うよ(笑)
多数派?それは疑わしい。そもそも大多数の人は数学が何なのかすら分かっていないから。大学の微積分入門の授業でも、先生が『数学は算数や足し算の集まりじゃない』と学生に念押ししなきゃいけなかった。それくらいよくある誤解ということ
Jacob Tsimermanは(動画で)4月までに『超人的な解説者』が登場するかもしれないと言っている。そうなったら一体どうなるんだろう
超人的な『鑑賞者』が現れるまでは、それでいいんじゃないかな(笑)
ハンマーを手に入れたら、泥小屋を楽に建てて後は腐るまで座ってるだけになるのか?それとも、もっと複雑な建造物をもっと速く作るようになるのか?
問題はAIじゃなくて、論文の量産文化とペイウォール付きジャーナルの方だ。AIはむしろ『立ち止まって薔薇の香りを嗅ぐ』自由、つまり数学の隠れた構造をじっくり探る自由を与えてくれる。好奇心のある人間にとっては夢のような話だ
『タオの懸念』とあるけど、この記事はタオが書いたものじゃなくて、グラント・サンダーソン(3Blue1Brown)によるゲスト投稿だよ
LLMが古代ギリシャの詩を翻訳したり18世紀の小説を分析したりできないと思ってるの?
科学の土台を『証明』に置く(あるいはそれができると信じる)のは論理実証主義であって、反証可能性という方法論とは相容れない考え方だ。でも数学はまさに証明がすべてだから、自分は長い間数学を警戒していた
『科学の土台を証明に置くのは論理実証主義であり反証可能性とは相容れない』というのは違うと思う。肯定的な証明は理論を裏付ける実験、否定的な証明や反例は理論を反証する実験と考えればいいだけの話だ
良い教師は結論だけでなく、そこに至る過程を覚えているものだ。ソクラテス式問答法というものは存在するけど、それに従っている人はほとんどいない
『今はもう何のシグナルにもならない』というけど、今はむしろ『次の難しいやつに進める』というシグナルになったんだと思う
それはそうだけど、その寄り道の中にちゃんと目を通して『これは使える』と見つけ出したりしてる?
してるよ、しない理由がある?
他サイトの新着
幸い、LLMはもうそれくらい賢く扱えるようになってきている
つまり君は、自分の意見が正しいと思っているからこそ、それに反対しているってこと?先生に諭されていた学生たちは、『数学は証明だけのものだ』なんて思っていたのかな?
あはは、まあそんな感じ。『大多数の人は数学を証明『以上』のものだと思っている』という君の主張には反対だな。大多数の人はむしろ『それ以下』だと思っている。つまり高校レベルの算数だと。ほとんどの人は証明や定理が何なのかすら知らず、数学とは数字を計算することだと思っている
いや、本当にそうだ。『肯定的な証明』は反証という概念とは相容れない。それが成立するのは形式論理のシステムの中だけであって、科学はそうしたシステムを内包することはあっても、それ自体が形式論理のシステムというわけではない
何かを説明しようとするとき、新しいことを言うよりも質問を重ねることの方が多かったりする。でもそれは、うっかり事態を悪化させる前に、相手が今どこまで理解しているのかをちゃんと絞り込みたいからなんだ(笑)。それが本物のソクラテス式問答法かはわからないけど、周りからはそう言われる。まあどちらにせよ、自分にはうまく機能しているみたいだ
この話題の背景と論点
元記事はテレンス・タオのブログに掲載されているが、執筆者はタオ本人ではなく、数学解説で知られるYouTuber兼数学者のグラント・サンダーソン(3Blue1Brown)であることがスレッド内で指摘され、誤解が訂正されている。議論の背景には、フェルマーの最終定理の証明に約400年かかる過程で生まれた「寄り道」的な研究が、後に楕円曲線暗号など別分野の発展につながったという歴史がある。AIが証明作業を肩代わりするようになれば、こうした寄り道ごと失われるのではという懸念と、逆にAIが探求の自由を広げるという楽観論が対立した。もう一つの論点は、「数学は証明以上のものだ」という前提そのものへの異論で、多くの人は数学を証明どころか算数の延長としか捉えていないという指摘が出ており、記事の主張がそもそも誰に向けたものかという点で見解が割れている。
※本記事は5ch(Hacker News)スレッド「If math is more than proof, we need to better celebrate the rest of it」より抜粋・要約して構成しています。
この記事のリアクション
まだコメントはありません。