【海外の反応】数学者1年 vs OpenAI88時間、AIは「解いた」と言えるのか論争に
姉妹サイトの新着
他サイトの新着
- 5chまとめMAP【驚愕】親のエゴと見栄で、子供をインター校に行かせた結果、日本語が話せない子を量産してしまうwww
- ニュース速報まとめMAP【松尾汐恩】横浜DeNAベイスターズファン必見！試合の見どころと注目選手
- なんJ傑作まとめアンテナMAPウクライナロシア「僕たち私達は、エネルギー関連施設を攻撃しないことを約束します」
- アニメ声優まとめアンテナMAP声優の上坂すみれさん事務所が声明を発表「極めて悪質な脅迫メール」が送られ警察が捜査へ → 先日の原神アプデ予告の生放送で悪ノリした事にキレた信者が送ったという可能性
- VTuberまとめアンテナMAP【Vtuber】立直は18禁なんか…
- だめぽアンテナ【画像】学校帰りのミニスカ小学生ｗｗｗｗｗ
- ヌルポあんてな【衝撃】ワイ「あかん…レスバ負けそうや…こうなったらあれや！」→まさかの手段にでた結果w w w w w w w w w w
- 2chまとめアプリ+【悲報】玉城デニーさんに『異変』が起こっている模様・・・・・
- News人【哲学】お前らが見ているこの世界、本当に「現実」なの？「水槽の脳」という思考実験他
- ブルーアンテナ桐山瑠衣 Iカップに成長した爆乳お嬢さんのイメージ
- ウマーあんてな【大反響】ポケモン全1025匹がTシャツ化👕「お金が足りん💸」とネット衝撃😱
- おまとめ今まで描いた爆乳けも耳ロリの絵貼る
- 即まとch江頭2:50、30年住む賃貸にウォシュレット無し 家賃13万円の物件で苦笑い
- 海外反応・海外ニュースまとめ【海外の反応】ベル研究所のアンテナ雑音、鳩のせいだと駆除しても消えず→正体はビッグバンの残光でノーベル賞
- Red4 海外の反応まとめ【海外の反応】日本人の友人が外国人叩きに夢中になってて辛い → 「ルールを破る日本人もいるのに外国人だけをターゲットにしてるのはおかしい」「”権力を振りかざす快感”を楽しんでるだけじゃないか」
- 海外の反応ジャーナル「日本の携帯電話が世界を席巻できなかったのはなぜなのか？」海外の反応
- アニメ・漫画アンテナケンシロウとかいう言葉の暴力の達人
- ハゲリシャス速報【ハゲ速報】ハゲさん、落雷に遭った結果ｗｗｗ（動画あり）
- 憂国あんてな|●|「県庁所在地の市役所前がコレかあ」と那覇市のインフラの破綻っぷりが話題に、玉城デニー県政が県民に拒否された理由が……
- ライムアンテナ【ウマ娘】ウマ娘描いて（2026/09/13）1
スペイン人数学者2人が1年かけて考え抜いた核心的アイデアを与えたところ、OpenAIのAIが88時間・約1500万ユーロの計算コストで未解決の数学問題を解いたと報じられた。この記事を紹介したLemmyのc/scienceコミュニティでは、AIが問題を「解いた(solve)」と表現することの是非をめぐって議論が起きた。人間のひらめきがなければ成立しなかった成果をAIの手柄のように語ってよいのか、それとも「解く」は理解や主体性を意味しない単なる技術用語なのか、参加者の意見は割れた。
スペイン人数学者2人による1年がかりの成果 対 OpenAIの88時間・1500万ユーロ:『我々のアイデアが無ければAIはこの問題を解けなかった』
出典: english.elpais.com / 元記事はこちら
正しい答えを出したからといって理解を意味するわけじゃないし、『解く』という言葉を使ったからといって理解を意味するわけでもない。コンピュータは何十年も前から数学の問題を『解いて』きた。あの一文に理解の含意なんて無いよ。
『理解や主体性を持たせるのはやめろ』というけど、そんな話は全然していない。単に『解を出した』と言っているだけだ。
追記: みんな、数学者は実際に充足可能性問題(SAT)を解く決定的アルゴリズム『SATソルバー』を使っている。アルゴリズムが数学の問題を『解いた』と言っても、それに理解や主体性を持たせることにはならない。
それに、答えそのものより解に至る手順や推論の方がずっと興味深い。それは将来の別の問題にも応用できるから。
AIの時代になって、言葉はもう何も意味しなくなった。言葉は他の言葉を指し示すだけの存在だ。『解く』という単語に『定義』があっても、それが自分にどう『感じさせるか』に比べたら関係ない。
AIについて議論するとき、擬人化しない言い方をするのは無駄に話をややこしく分かりにくくするだけだ。
数学とSATソルバー・一階述語ソルバーについて補足すると、コンピュータが自律的に解いた最初の未解決数学問題は1997年の『ロビンス代数』で、生成AIが登場するよりずっと前の話だ。
この話題の背景と論点
今回の元記事は、スペイン人数学者2人が1年かけて練り上げたアイデアを与えたところ、OpenAIのAIが88時間・約1500万ユーロの計算コストで未解決問題を解いたという内容。ここで見落とされがちなのは、AIが「ゼロから」解いたわけではなく、人間側の核心的アイデアが前提になっている点で、記事タイトル自体がそれを強調している。スレの論争は「解いた」という表現がAIに理解や主体性を認めることになるかどうかに集中した。反論側は、コンピュータ科学では数十年前から充足可能性問題(SAT)を解くアルゴリズムが存在し、1997年には「ロビンス代数」という未解決問題が生成AI以前のプログラムによって自律的に解かれた例もあると指摘し、「解く」は理解を含意しない技術用語だと主張した。一方で、答えそのものより解に至る推論過程の価値を重視する意見もあり、AIの成果をどう評価するかという論点は一致を見ていない。
※本記事は5ch(Lemmy c/science)スレッド「A year of work by two Spanish mathematicians versus 88 hours and €15 million by OpenAI: ‘Without our idea, AI wouldn’t have solved it’」より抜粋・要約して構成しています。
まだコメントはありません。