フィールズ賞受賞者25人、AIによる数学の「理解の空洞化」に警鐘
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP彡(ᓀ)(ᓂ)｢なんで未使用なのにわざわざ説明してるんや…？｣
- ニュース速報まとめMAP【1ドル 円】円安は終わった。154円台で見せる「円高転換」のサインと、資産を倍にする絶好のタイミング
- なんJ傑作まとめアンテナMAP【命題】じゃあ、堀大輔さんが１週間寝ないで達成したら、どうするの？
- アニメ声優まとめアンテナMAP【画像】個人Vに転生した元ホロライブメンバーの現在の同接、悲惨………………
- VTuberまとめアンテナMAP17LIVE、Vライバージャンル設立8周年記念の大型リアルイベント「V大祭〜イチナナVライバー 8th Anniversary〜」を9月25日に浅草花劇場にて開催
- だめぽアンテナ【画像】山下瞳月の『例の下着見え』全画像がこれwwwwwwwwww
- ヌルポあんてな【画像】週休3日制のメリット、たった1枚の画像で証明された結果w w w w w w w w w w
- 2chまとめアプリ+【悲報】令和女子のファッションがダサいと話題に👩
- News人【にじさんじ】ベルおじ「ヤハリは不幸になれとは言わないから二度と顔見せないでくれ」他
- ブルーアンテナ腕枕でこんな寝姿を見せられたらもう・・・【再】
- ウマーあんてな【EV】ハンドル・ペダルなしの無人運転タクシー「サイバーキャブ」、テスラが日本初公開…国内での運行は未定
- キター！アンテナ中国が日本人のビザ料金を約7倍に引き上げ、相互主義を理由に
- つべこアンテナ今年3月導入のEVバス、7月に異常発生で早くも運行停止
- ２ちゃんマップ【画像】「まどか☆マギカ」巴マミ、美樹さやか、佐倉杏子エロすぎ放課後えんこーハメ撮りどぴゅどぴゅエチエチが最高すぎる❣
- おまとめ【野球】広島・小園と離婚の渡辺リサ、男性アスリート宅へ “避難” 報道…双方とも “別の相手” 浮上で「どっちもどっち」ネット呆れ
- 即まとch韓国代表HR後の振る舞いに苦言 5ch「威圧的だったか動画では判断分かれる」
- カオスアンテナ【悲報】悟空がブルマと出会ってなければ地球は平和だった事が判明される・・・
- おまとめアンテナこども家庭庁「心中ではなく『保護者の自殺を伴うこどもの虐待死』と呼ぶべきではないか」
- 憂国あんてな|●|【PICKUP】アイスランド、捕鯨禁止法案提出 ロイター通信「商業捕鯨する国はノルウェーと日本だけ!孤立の可能性!孤立!」
- リアルな海外の反応アンテナ【PICK UP】【ワールドサッカーファン 海外の反応】海外「無理だろ」ドイツの闘将がメッシではなくケインをバロンドールに推す理由に海外大騒ぎ！（海外の反応）
数学者テレンス・タオが自身のブログで「AIと数学の深刻な不整合(A Severe Misalignment of AI in Mathematics)」と題する記事を公開し、フィールズ賞受賞者25人(現存する受賞者47人のうち)が名を連ねる共同声明を紹介した。AIが定理の「証明」を高速に生成できるようになる一方で、数学の本来の目的である「概念的な理解と洞察」がおざなりになっているのではないか、という懸念だ。Hacker Newsでは、この主張に共感する声がある一方で、問題はAIそのものではなく学術界の評価インセンティブにあるとする反論や、そもそも具体的に何を求めているのか分からないという冷めた指摘も相次ぎ、議論が割れた。
AIと数学の深刻な不整合
出典: terrytao.wordpress.com / 元記事はこちら
「問題を解くこと自体は、概念的な理解と洞察という本来の目標を達成するための手段であり代理指標にすぎない」――これはAIが知的な学問分野の大半に及ぼしている影響そのもので、本当に懸念すべきことだと思う。
>>3
タオは要するに「AIは我々を馬鹿にしている」という使い古された主張を、もう少し上品に、数学に当てはめて言い直しているだけだね。
タオは要するに「AIは我々を馬鹿にしている」という使い古された主張を、もう少し上品に、数学に当てはめて言い直しているだけだね。
「私はフィールズ賞受賞者だけで構成される25人の初期署名者の一人に名を連ねたことを誇りに思う」――フィールズ賞受賞者だけのグループチャットとかあるのかな。
>>5
間違いなくあるよ。全部WhatsAppで回ってる。
間違いなくあるよ。全部WhatsAppで回ってる。
懸念自体はもっともに思える。でも、結局何を求めているのかがよく分からない。理論上であっても、現実的で実行可能な解決策って何なんだ?
「25人の初期署名者――全員フィールズ賞受賞者――」というくだり、英語ネイティブじゃない自分は最初、存命のフィールズ賞受賞者全員が署名したという意味かと思った。後で、署名者全員がフィールズ賞受賞者だった、という意味だと気づいた。(ちなみに現在存命のフィールズ賞受賞者は47人らしい。)
どれほど高度なAIであっても、結局は「認知の外部委託」やここで言われている問題につながらずに済む方法が想像できない。
数学までベンチマーク扱いされる時代か。
また今回もAIの見世物芸ってわけね。
>>2
同感。問題はAIそのものではなく、学術界全般の評価・報酬の仕組みにある。
同感。問題はAIそのものではなく、学術界全般の評価・報酬の仕組みにある。
>>4
君は現役の数学研究者なのか?
君は現役の数学研究者なのか?
>>6
「AI企業側に具体的な代替の仕組みを提供する責任を負わせる、ということですよね?」――なぜそうなる? 誰かが既存の制度の土台を突き崩すようなイノベーションを起こしたからといって、その後始末をする責任まで負わされる理由がどこにある?
「AI企業側に具体的な代替の仕組みを提供する責任を負わせる、ということですよね?」――なぜそうなる? 誰かが既存の制度の土台を突き崩すようなイノベーションを起こしたからといって、その後始末をする責任まで負わされる理由がどこにある?
>>22
たしかに妙な話だよな。建設業の仕事を海外に外注するのは経済にとっては好都合だとされてきた一方で、街全体が廃墟になっても放置されてきた。でも特権階級にそれが及んだ途端に「具体的な代替の仕組みを用意しろ」という話になるわけだ。
たしかに妙な話だよな。建設業の仕事を海外に外注するのは経済にとっては好都合だとされてきた一方で、街全体が廃墟になっても放置されてきた。でも特権階級にそれが及んだ途端に「具体的な代替の仕組みを用意しろ」という話になるわけだ。
>>22
AI開発をやめろと言っているわけじゃない。数学論文の発表をやめろと言っているんだ。
AI開発をやめろと言っているわけじゃない。数学論文の発表をやめろと言っているんだ。
>>10
タクシー運転手たちが同じレベルの自我崩壊を強いられたとは思えないけどね。
タクシー運転手たちが同じレベルの自我崩壊を強いられたとは思えないけどね。
重要なのは人間の理解だ。LLMが理解していても人間が理解していないなら、人類はどうなる? 自分たちが理解していないものを作り続けるのは、予測できない結末に確実に突き進む道だ。それに君のコメントは、盗用の問題を都合よく無視しているね。誰が現実逃避してるんだか。
>>25
仕組みを完全には理解していないのに「機能している」ものなんて、これまでにも山ほど生み出してきた。短期的・長期的な影響を完全に把握できていないものもね。例えば医薬品がそうだ。
仕組みを完全には理解していないのに「機能している」ものなんて、これまでにも山ほど生み出してきた。短期的・長期的な影響を完全に把握できていないものもね。例えば医薬品がそうだ。
機械が理解を手に入れても人間が理解していないなら、それに何の意味がある? 人間が機械から学んでそうした理解を得ようとするインセンティブは一体どこにあるんだ?
>>26
美しいからだよ。妙な自己顕示ゲームとしてじゃなく、数学そのものを愛しているからだ。
美しいからだよ。妙な自己顕示ゲームとしてじゃなく、数学そのものを愛しているからだ。
>>35
「数学そのものを愛する」というのは、単に答えを知ることなのか? 自分は、何千行もある注釈なしのLean証明がまさに奪ってしまう「過程」や「理解」にこそ、数学を愛する意味があると思う。もし神様が一晩だけ星を並べ替えて「リーマン予想は偽である」と書いたとしたら、それは知的に十分と言えるのか?
「数学そのものを愛する」というのは、単に答えを知ることなのか? 自分は、何千行もある注釈なしのLean証明がまさに奪ってしまう「過程」や「理解」にこそ、数学を愛する意味があると思う。もし神様が一晩だけ星を並べ替えて「リーマン予想は偽である」と書いたとしたら、それは知的に十分と言えるのか?
>>35
おそらく99.999%理解できていないであろうLean4の証明を、君は美しいと感じるのか?
おそらく99.999%理解できていないであろうLean4の証明を、君は美しいと感じるのか?
>>19
それは選択の問題だ。数学者は今でもAIを使って「概念的な理解と洞察という本来の目標」を達成することができる。
それは選択の問題だ。数学者は今でもAIを使って「概念的な理解と洞察という本来の目標」を達成することができる。
>>21
自分の周りのグループチャットはだいたいSignalに移行したよ。
自分の周りのグループチャットはだいたいSignalに移行したよ。
>>26
昔からあるのと同じインセンティブだよ。知りたいから、それだけ。じゃあ君はどんなインセンティブを想定してたんだ?
昔からあるのと同じインセンティブだよ。知りたいから、それだけ。じゃあ君はどんなインセンティブを想定してたんだ?
>>30
それを言うなら製造業だろう。
それを言うなら製造業だろう。
他サイトの新着
君の言う数学の「スロップ(量産された粗悪品)」という理解に基づくと、署名者のうちドリーニュとショルツェの二人は、そうした数学的スロップを生み出した、あるいは今も生み出していると思うのか?
>>38
グロタンディークはヴェイユ予想の証明をめぐってドリーニュを「スロップだ」と批判したことがある。ショルツェの数学が絶対にスロップでないのは確かだ。でも君は、この一世紀で最高の数学者二人を持ち出して、平均についての自分の主張に反論しようとしてるね。
グロタンディークはヴェイユ予想の証明をめぐってドリーニュを「スロップだ」と批判したことがある。ショルツェの数学が絶対にスロップでないのは確かだ。でも君は、この一世紀で最高の数学者二人を持ち出して、平均についての自分の主張に反論しようとしてるね。
>>34
君のこれまでのコメントを見る限り、自分の教育費を自分で払っていなかったことを願うよ、君のためにね。
君のこれまでのコメントを見る限り、自分の教育費を自分で払っていなかったことを願うよ、君のためにね。
>>39
自分はJEMS誌に論文があるし、20年来の未解決予想も解いたことがある。それに数学アカデミアが政治とエゴで動くいがみ合いのゲームだということもよく知っている。
自分はJEMS誌に論文があるし、20年来の未解決予想も解いたことがある。それに数学アカデミアが政治とエゴで動くいがみ合いのゲームだということもよく知っている。
>>35
LLMが書く数学は美しくない。LLMが書くソフトウェアが美しくないのとまったく同じ構図だ。印象的な成果物を生み出すことはあっても、手法やアーキテクチャの理解を大事にする人間からすれば、中身を覗き込むとたいてい惨状が広がっている。
LLMが書く数学は美しくない。LLMが書くソフトウェアが美しくないのとまったく同じ構図だ。印象的な成果物を生み出すことはあっても、手法やアーキテクチャの理解を大事にする人間からすれば、中身を覗き込むとたいてい惨状が広がっている。
この話題の背景と論点
この声明の背景には、AIが数学オリンピック級の問題や一部の未解決予想の証明を自動生成できるようになったことがある。声明が問題視するのは結果の正しさではなく、証明の過程で得られるはずの「洞察」が人間の手を離れる点だ。スレで意見が割れたのは、これを「AI固有の脅威」と見るか「論文数やベンチマークで評価する学術界の構造問題」と見るかという点。また、Lean(形式証明支援系)で書かれた数千行の証明を人間が理解しないまま「正しい」と扱うことの是非も論点になった。薬学など、仕組みを完全に理解しないまま使われている技術は他にもあるという指摘は、AI数学だけが特殊なのかという疑問を投げかけている。声明への反論の多くは「AI企業に代替策を求めるのは筋違い」という立場で、産業構造の変化一般との比較も交わされた。
※本記事は5ch(Hacker News)スレッド「A Misalignment of AI in Mathematics」より抜粋・要約して構成しています。
この記事のリアクション
まだコメントはありません。