【海外の反応】AIは数学者より賢いのではなく、記憶力で圧倒しているだけ
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP中国、台湾巡りサンフランシスコ平和条約の文書展示に激怒か 米との首脳行事で
- ニュース速報まとめMAP【競馬】クロワデュノール、北村友一からCデムーロに交代！秋天は何が起こるんやろがい！
- なんJ傑作まとめアンテナMAP30超えてまだ恋愛とか言ってる奴、流石にヤバくないか
- アニメ声優まとめアンテナMAP【！？】ジャンプ＋「外部編集の林士平はクビにした、これからは新たな体制でやる！」→ 林士平氏「スパイ、ダンダダン他2作品は今後もこちらが編集業務します！」 どういう事？？
- VTuberまとめアンテナMAP【にじさんじ】内容は言えませんが、七瀬すず菜さんのメンシを迷ってる方は今、本当に入った方が良いくらいのことが起きてます
- だめぽアンテナ【動画】とんでもない尻と乳のAV女優見つけたwwwwww
- ヌルポあんてな東海オンエア・てつや＆峯岸みなみ、構想5年の“大豪邸”を公開→「レベル違いすぎる」とネット騒然ｗｗｗ
- 2chまとめアプリ+【東京地裁】声優の津田健次郎さん、AI音声裁判で敗訴
- News人【正論】企業はMARCHよりガチFを評価すべきよな他
- ブルーアンテナ男性「女の子が好みのタイプだったので気持ちを抑えられなかった」→小学生をレ●プ
- ウマーあんてな12球団チームOPSランキングwwww
- Red4 海外の反応まとめ【海外の反応】「本当にあの速さで数えてると思う?」日本の銀行員の神業級の紙幣カウント動画に外国人が仰天
- 海外の反応ジャーナル「日本人のパスポート保有率が２割以下なのはなぜなのか？」海外の反応
- ハゲリシャス速報【ハゲ速報】頭の超長いオッサンいてワロタｗｗｗ（画像あり）
- 憂国あんてな|●|高市首相の挨拶画像が揺れすぎな件、「あれは単に撮影時間が少なすぎるだけだ」と報道関係者が反駁しており……
- ２ちゃんねるまとめるまとめアルビレックス新潟、ルヴァン杯松本山雅戦での判定についてJFAとJリーグに意見書提出
- おまとめアンテナ【画像】完璧主義すぎてミランに心配されちゃう？司賀りこの可愛すぎる奮闘記！ ミラン・ケストレル×司賀りこ
- とろたまヘッドラインストリートファイターで人間でも出来そうな技
- うほうほあんてな【速報】ミヤネ屋後継の新番組『ニュースto』の出演者が発表された結果ｗｗｗｗｗｗｗ
- アナグロあんてな【画像】吉井明子キャスター 写真集の水着・巨乳・谷間、売上第1位コメント！！【GIF動画あり】
「AIは数学者を出し抜いているのではなく、ただ人間より多くを覚えているだけだ」とするブログ記事がHacker Newsで議論を呼んだ。人間には理解不能なほど精緻な証明をAIが量産し「人間が物事を理解する時代は終わる」という悲観論に対し、「人間が理解できない証明に意味はない」と反論するレスが相次いだ。
途中では投稿からわずか2分でフロントページ5位に浮上した経緯を怪しむメタな脱線や、電話・インターネット・自動車を「一時の流行」と切り捨てた過去の的外れな予言を引き合いに出す反論も飛び出し、話が広がった。
AIは数学者より賢く考えているのではない。記憶で圧倒しているだけだ。
出典: davidepiffer.com / 元記事はこちら
インターネット以前のトークンだけでフロンティアモデルに近いものを学習させるなんて、どこからそんな量のデータを持ってくるんだよ
証明を書くことの意味って、そもそも人間の理解を進めるためだろ。Leanのコンパイラを通っただけの記号の山なんて、人間が理解できて初めて意味を持つ
4chanまで含めた人類全体のデータで訓練された確率的な生成器に『エレガントさ』なんて求めるなよ。期待値を下げとけ
でもどうやら、機械にそれをやらせることを人間が教え込めるみたいだよ
AI企業は弁護士や医者の代替としても売り込んでるよ。ただHacker Newsだから、自分たちの専門分野の話ばかり目につくバイアスがあるだけ
弁護士をしている夫を持つ近所の人が、もうAIが日常業務に組み込まれてるって言ってた。OpenAIも医療向けにHIPAA準拠のサービスを既に出してる。そういうのはもうとっくにやってるんだよ
コンパイラやソルバー、定理証明器で生成物を検証できるから、素早く反復してAIが自己修正できる。法律や医療みたいな『ソフトな』業界ではそれができない
それがHacker Newsってもんだよ。自分の投稿でも何度もそういうことがあった。すぐ拾われることもあれば拾われないこともある。ものすごい速さでランクを落とすこともある。エンゲージメントの量と質にかなり左右される
カネの流れを追え
そのアップボート、どれくらい速かったの?
完全同意。AIのコンテキストは大きいと言っても、人間が学習できる量に比べたら大したことない。文脈を効率よく圧縮できたとしても、せいぜい論文数本分。証明作業を進めていけばすぐに埋まってしまう。AIが進歩してるのは否定しないけど、それを『記憶力』の問題に矮小化するのは単純化しすぎ
AIには『Sitzfleisch(尻の根気)』があるからな。オッペンハイマーのウィキペディアの該当箇所参照
うちのブラウザはあの気の利いたURLテキスト選択に対応してないから引用できないけど、sitzfleischは『物事をやり通す根気』って意味。どうやらオッペンハイマーにはそれが無かったらしい
弦理論って知ってる?一生かけても成果を出せない人はいくらでもいる
弦理論はまさに、エゴとサンクコストの誤謬で生き延びてる袋小路の好例だよね。AIだったら10年前に『もう死んでる』と判断して次に進んでたはず
肝心なのは、これが『人間には関連知識の総体をつなげられない』という前提に依存してるってこと。でもその知識自体は人間由来なんだよね。しばらくは機械学習が拾える『低いところにある果実』祭りが続くだろうけど、その後は証明を量産する存在というより『つながりを見つける存在』として、断続的にしか進まないと思う
『つながりを見つける』だけじゃ終わらないよ。ロボット工学が進んでLLMが身体を持つようになれば、物理世界で実験して新しい知見を見つけられるようになる
実験をする上で重要な障壁は『身体を持つこと』じゃない。資金とインフラという『リソースへのアクセス』の方だよ
他サイトの新着
『数学者が研究の方向性を決めて丸1週間かけてもうまくいかなかったら、苛立って休憩が必要になる』ってくだり、その期間設定が控えめすぎる。1週間の作業で大きな進展を期待してる人なんていないだろ
『1週間で大きな進展を期待する人なんていない』とか言うけど、私のADHDを甘く見すぎ。出典:数学者である私自身
それはただの例え話であって、文字通り受け取るものじゃないと思うよ
それは自分が言いたかったことと違う。ソフトウェアや数学の検証の話をしてるんじゃない。AIは『妥当だけど質が悪くて理解不能なもの』を生成できるって話をしてる
自分が言いたいのは、AI企業がソフトウェアや数学の話ばかりするのは、『これで合格』と判定できるツールが既にあるからだってこと。だから計算資源を1週間分費やして検証をパスするまで回し、それをマーケティング素材として発表できる。医療や法律(一部のニッチな領域を除く)では同じことができない
ここでかかっているコストに見合うだけの商業的価値がある『理解不能な文章』(証明に限らずどんな文章でもいい)の例を挙げてもらえる?
だよね、世界中でせいぜいコンピューター5台分くらいの市場しかないもんな。ポール・クルーグマンは1998年に『インターネットの経済効果はファックス機以上にはならない』と予言した。1876年のウェスタンユニオンの内部メモは電話を『欠点だらけ』と切り捨てたし、ある銀行家はホレス・ラッカムに『自動車なんて一時の流行だから』とフォードへの投資をやめさせようとした。我々もなかなかいい仲間に囲まれてるじゃないか
この話題の背景と論点
今回の元記事は、AIが数学的発見で人間を超えつつあるように見えるのは「洞察」ではなく学習データ由来の「記憶量」の差にすぎない、と主張するブログ記事で、Hacker Newsで議論を呼んだ。投稿からわずか2分・アップボート1件でフロントページ5位に浮上したという経緯自体が怪しまれ、話題の作られ方をめぐる脱線も生じている。
スレで意見が割れたのは主に、AIが人間に理解不能な精緻な証明を量産することをどう評価するかだ。それを「人間が物事を理解する時代の終わり」と捉える悲観論に対し、「人間が検証・理解できて初めて証明に意味がある」という反論が対立した。加えて、AI企業が数学やソフトウェア工学ばかりを『解決済み』として売り込む理由についても、法律・医療分野でも既に展開されているとする声と、それらの分野には検証手段(コンパイラやソルバー、定理証明器)がなく反復改善しにくいとする指摘とに分かれた。
見落とされがちなのは、記事の「記憶力に過ぎない」という単純化そのものが、スレ内でも「AIの文脈量は人間の学習量に遠く及ばず、進歩を過小評価している」と批判されている点で、タイトルほど一枚岩の結論ではないということだ。
※本記事は5ch(Hacker News)スレッド「AI Isn’t Outthinking Mathematicians. It’s Out-Remembering Them」より抜粋・要約して構成しています。
まだコメントはありません。