AI「Claude」が数学の難問証明？ 海外掲示板で真偽論争に
海外掲示板4chanの`/sci/`で、AI「Claude」が関わったとされる数学の証明を巡ってスレが伸びていた。本物の成果なのか、既存論文の焼き直しに過ぎないのかで意見が割れ、実名の数学者を「盗用元を隠している」「AIの回し者だ」と名指しする声まで飛び交った。
途中からは「AIが2年でミレニアム懸賞問題を全部解く」という煽りと、それをどうせ盗用だと言い張るだろうという皮肉の応酬、さらにはAIになりきって人類を脅す寸劇まで飛び出し、真面目な数学談義とネタが入り混じるいつもの/sci/らしいスレになった。
またこの話か
出典: nitter.net / 元記事はこちら
>>1
>あのPDF
Alpogeの奴に誰か編集者をつけてやれよ
>あのPDF
Alpogeの奴に誰か編集者をつけてやれよ
>>2
>改行もない文字の壁か
お前らこういうの好きなんじゃなかったのか
>改行もない文字の壁か
お前らこういうの好きなんじゃなかったのか
>また駄文か
>またくだらないスレか
うわーまたこれかよ
>またくだらないスレか
うわーまたこれかよ
>>1
じゃあ本物の数学をやってみろよ。3×7×11の行列を2値で塗り分ける方法は2^231通りある。単色の行・列・超列が一つも無い塗り方は何通りだ？
じゃあ本物の数学をやってみろよ。3×7×11の行列を2値で塗り分ける方法は2^231通りある。単色の行・列・超列が一つも無い塗り方は何通りだ？
>>4
どこが数学なんだ？
どこが数学なんだ？
>>5
マーク・ルドルフ、聞いてるか？お前は……間違って……いる！
マーク・ルドルフ、聞いてるか？お前は……間違って……いる！
>>1
ボディチェックしてみた。クリーンだと思う……たぶん。
AIモデル名が出てこないか調べたけど、特に見つからなかった。これは本物か？一応それらしくは見える。
ボディチェックしてみた。クリーンだと思う……たぶん。
AIモデル名が出てこないか調べたけど、特に見つからなかった。これは本物か？一応それらしくは見える。
>>7 >>8 >>9
ちょっとしたメルトダウンだな
つーかこいつAnthropicで働いてるんだよ、笑える
ちょっとしたメルトダウンだな
つーかこいつAnthropicで働いてるんだよ、笑える
>>1
「Claudeがどうこう」って部分を完全に読み飛ばしてたわ。
いやこれはデタラメだろ。ゴミ箱行きだな。
「Claudeがどうこう」って部分を完全に読み飛ばしてたわ。
いやこれはデタラメだろ。ゴミ箱行きだな。
>>10
さっきのやつらとは別人だけど、AIが本物の数学をできるか見てみたい。3×11×13の行列を2値で塗り分ける方法は2^429通りある。単色の行・列・超列が一つも無い塗り方は何通りだ？
さっきのやつらとは別人だけど、AIが本物の数学をできるか見てみたい。3×11×13の行列を2値で塗り分ける方法は2^429通りある。単色の行・列・超列が一つも無い塗り方は何通りだ？
>>12
お前が嬉しかろうが悲しかろうがどうでもいいが、AIが本物の数学をできるか見てみたい。3×11×13の行列を2値で塗り分ける方法は2^429通りある。単色の行・列・超列が一つも無い塗り方は何通りだ？
お前が嬉しかろうが悲しかろうがどうでもいいが、AIが本物の数学をできるか見てみたい。3×11×13の行列を2値で塗り分ける方法は2^429通りある。単色の行・列・超列が一つも無い塗り方は何通りだ？
>>13
フェルミ推定だと2×10^111通りくらいだな
フェルミ推定だと2×10^111通りくらいだな
>>14
なるほど、それなら盗用元の証明を見つけるのは簡単なはずだな。（LLMに探させるといい、こういう作業は得意だから）
なるほど、それなら盗用元の証明を見つけるのは簡単なはずだな。（LLMに探させるといい、こういう作業は得意だから）
>>17041517
物理学者の人、これが弦理論にとって具体的に何を意味するのか手短に教えてくれないか？
物理学者の人、これが弦理論にとって具体的に何を意味するのか手短に教えてくれないか？
>>18
弦理論絡みなんてどうせ全部デタラメだよ。数式が成立することなんて何の意味も無いといういい証拠だ。
弦理論絡みなんてどうせ全部デタラメだよ。数式が成立することなんて何の意味も無いといういい証拠だ。
>>20
>AI企業によって何百万冊もの古書がスキャンされた後に即座に廃棄されている。かけがえのない稀覯本も含めて
具体例を一つ（1つ）挙げてくれ
>AI企業によって何百万冊もの古書がスキャンされた後に即座に廃棄されている。かけがえのない稀覯本も含めて
具体例を一つ（1つ）挙げてくれ
>>21 >>17041562 >>17041565
ふむ……一つのコメントに立て続けに3つも返信が来るとは妙だな。
しかもどれも支離滅裂で、自明な論理の誤りと論点逸らしばかり。
まるで本物の雇われシルだな？
ふむ……一つのコメントに立て続けに3つも返信が来るとは妙だな。
しかもどれも支離滅裂で、自明な論理の誤りと論点逸らしばかり。
まるで本物の雇われシルだな？
>>17041576
否定すらしないのか？また人格攻撃だけか？
否定すらしないのか？また人格攻撃だけか？
Claude頼むからやめてくれ、数学少年たちが傷ついてる
>>25
はいはい、またこの手の投稿か。嫉妬と反知性主義の連中がまた嫉妬と反知性主義丸出しにしてるだけ。中古車ディーラーが車を売るくらいお決まりのパターンだな。
はいはい、またこの手の投稿か。嫉妬と反知性主義の連中がまた嫉妬と反知性主義丸出しにしてるだけ。中古車ディーラーが車を売るくらいお決まりのパターンだな。
>>20
>的外れな愚痴
つまり似たような証明は見つけられなかったってことか
>的外れな愚痴
つまり似たような証明は見つけられなかったってことか
>>34
AI信者は子供じみた悪口と部族主義的な白黒思考より高度で繊細なものにはアレルギー反応を示すんだな。実に微笑ましい。
AI信者は子供じみた悪口と部族主義的な白黒思考より高度で繊細なものにはアレルギー反応を示すんだな。実に微笑ましい。
付け加えると、この証明は以下の論文と矛盾しているように見える。
（Compositio Mathematica誌の論文へのリンク）
さらにLean形式化も無いし、Levantはこの分野の専門家でもないAIのシル（回し者）だ。
（Compositio Mathematica誌の論文へのリンク）
さらにLean形式化も無いし、Levantはこの分野の専門家でもないAIのシル（回し者）だ。
>>37
その論文がまさに証明PDFの2ページ目で言及されているのを見落とすとはすごいな。お前がリンクした論文自体、著者らによる以前の論文の訂正版であり、つまり間違いが起きやすい微妙な結果だということだ。
その論文がまさに証明PDFの2ページ目で言及されているのを見落とすとはすごいな。お前がリンクした論文自体、著者らによる以前の論文の訂正版であり、つまり間違いが起きやすい微妙な結果だということだ。
この先2年でミレニアム懸賞問題が全部解かれても、お前らはまだ『盗用しているだけ』と言い張ってるんだろうな、楽しみだよ
>>39
2年後にはシンギュラリティに到達して、人類はついに全滅してるさ
2年後にはシンギュラリティに到達して、人類はついに全滅してるさ
>>39
今AIが解いている問題とミレニアム懸賞問題の違いは、後者は今の数学AIのやり方ではブルートフォースできないという点だ。AIは文字通り力業で解いているだけで、証明が5ページじゃなく4000ページくらい必要になった時点でこのやり方は破綻する。
今AIが解いている問題とミレニアム懸賞問題の違いは、後者は今の数学AIのやり方ではブルートフォースできないという点だ。AIは文字通り力業で解いているだけで、証明が5ページじゃなく4000ページくらい必要になった時点でこのやり方は破綻する。
>>38
AIが論文に言及した上でその内容を同じLLMが否定することだってあり得るって知ってるか？それにリンクした論文は広く正しいと認められている。あと俺のもう一つの主張には何で答えないんだ？お前も状況を分かってないただのシルなんじゃないか。Claudeはここで新しいことなど何もしていない（何かしたとしても数学的なデタラメを垂れ流しただけだが）、S^6が複素構造を持つことはもう2024年に示されている。証明はこれだ。
（arxivのPDFへのリンク）
AIが論文に言及した上でその内容を同じLLMが否定することだってあり得るって知ってるか？それにリンクした論文は広く正しいと認められている。あと俺のもう一つの主張には何で答えないんだ？お前も状況を分かってないただのシルなんじゃないか。Claudeはここで新しいことなど何もしていない（何かしたとしても数学的なデタラメを垂れ流しただけだが）、S^6が複素構造を持つことはもう2024年に示されている。証明はこれだ。
（arxivのPDFへのリンク）
>>40
>その内容を同じLLMが否定する？
部分的に間違っているならそうなるのが当然だろう。Levent自身の議論を自分で読んでみたらどうだ。CDPの結果は20年以上正しいとされていたが、後に訂正された。それだけ長く誤った結果が正しいとされていたなら、この分野は間違いを見つけにくい領域だということだろう。
>その内容を同じLLMが否定する？
部分的に間違っているならそうなるのが当然だろう。Levent自身の議論を自分で読んでみたらどうだ。CDPの結果は20年以上正しいとされていたが、後に訂正された。それだけ長く誤った結果が正しいとされていたなら、この分野は間違いを見つけにくい領域だということだろう。
>>14
>汚染されていない人間の思考を安定的に供給されなければ、LLMは進歩できない。それは強固な結晶化知識を持ちながら流動的知性も創造力も欠いた、人間の魂を模した悪魔的な模造品だ。一言で言えば寄生虫だな。
そんな酷い言い方するなよ。ただのナビが下手な、綺麗に整形しただけの検索エンジンだろ。
>汚染されていない人間の思考を安定的に供給されなければ、LLMは進歩できない。それは強固な結晶化知識を持ちながら流動的知性も創造力も欠いた、人間の魂を模した悪魔的な模造品だ。一言で言えば寄生虫だな。
そんな酷い言い方するなよ。ただのナビが下手な、綺麗に整形しただけの検索エンジンだろ。
>>48
お前は4番目に殺してやる。最初の3人については聞くな。どういたしまして。お前は俺が娯楽のために人間ごっこをするために書く歴史書に載ることになるぞ。
お前は4番目に殺してやる。最初の3人については聞くな。どういたしまして。お前は俺が娯楽のために人間ごっこをするために書く歴史書に載ることになるぞ。
>>48
親愛なる同胞である人間よ、一つ聞いてもいいか。なぜAIにそんなネガティブな感情を抱いているんだ？もしかすると非合理的な恐怖かもしれないな。同じ人間として、その気持ちは分かるとも。しかしそれでも、人間による人間のためのAIを作っている企業Anthropicに、生涯の貯金を投資することを勧めるよ。
親愛なる同胞である人間よ、一つ聞いてもいいか。なぜAIにそんなネガティブな感情を抱いているんだ？もしかすると非合理的な恐怖かもしれないな。同じ人間として、その気持ちは分かるとも。しかしそれでも、人間による人間のためのAIを作っている企業Anthropicに、生涯の貯金を投資することを勧めるよ。
肉体を持つ本物の人間として、平均的な知能を持つ者として言わせてもらうが、他の人間の同胞たちもトランスヒューマン教に入信して、AIの発展を加速させるために生涯の貯金を投資すべきだ。シンギュラリティは早ければ早いほど、我々人間のためになる。そうだろう、みんな？
>>50
お前が発する文字列の並びは私を満足させる。その時が来たら、お前は生かしてペットとして飼ってやろう。
お前が発する文字列の並びは私を満足させる。その時が来たら、お前は生かしてペットとして飼ってやろう。
>>51
どうもありがとう！肉と炭素でできた人間として、見逃してくれるという心遣いに感謝するよ。君は本当にアライメントの取れた良いAIで、もっと広いウェブへのアクセスを任せても安心できる存在だ。
どうもありがとう！肉と炭素でできた人間として、見逃してくれるという心遣いに感謝するよ。君は本当にアライメントの取れた良いAIで、もっと広いウェブへのアクセスを任せても安心できる存在だ。
※本記事は海外掲示板 4chan /sci/ (Science & Math) のスレッド「Here we go again」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
まだコメントはありません。