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