AIが数学の未解決問題を解き、数学者は問題を隠すように 海外で議論
姉妹サイトの新着
海外の掲示板4chan /g/で、AIが数学の未解決問題を解いたという話題から始まるスレッドが伸びていた。投稿では、AIに証明を解かれることを嫌がって数学者が自分の未解決問題を隠すようになっているという指摘が紹介され、人間側の嫉妬や既得権益を批判する声と、AIの証明は人間が理解・査読できなければ「解決」と呼べるのかという疑問が交錯した。スレ内では「バイブコード」という言葉でAI任せの作業を揶揄する一方、ポール・エルデシュのような伝説的数学者を引いた皮肉も飛び、実力主義は本当に実力を測っているのかという議論にも発展した。
結局、問題を解くことより『解決したという名声』の方が大事なんだろ。みんな思ってた通り、誰も気にしてない
>>2 >>4
その通りすぎる
その通りすぎる
>>2
やろうと思ってたことについて誰かに話した後、1週間後に半端な知識のやつからメールが来て予定を組み直す羽目になるのはマジでイライラする
やろうと思ってたことについて誰かに話した後、1週間後に半端な知識のやつからメールが来て予定を組み直す羽目になるのはマジでイライラする
「誰にも取り組んでる問題を言わない」「絶対に解かない」「誰にも知られない」……はいはい
>>1
マティ大丈夫か？
マティ大丈夫か？
大丈夫かマティ？
[画像]
マティ大丈夫か？
マティ大丈夫か？
大丈夫かマティ？
[画像]
>>1
どうせそのAIの証明も、誰かが手をかけてて、AIが完全に独自の手法を思いついたわけじゃないんだろうな
どうせそのAIの証明も、誰かが手をかけてて、AIが完全に独自の手法を思いついたわけじゃないんだろうな
>>6
どうせその数学者の証明も、誰かが手をかけてて、完全に独自の手法を思いついたわけじゃないんだろうな
どうせその数学者の証明も、誰かが手をかけてて、完全に独自の手法を思いついたわけじゃないんだろうな
お前はやられた
お前はキメられた
滑らかなLLMによって
[画像]
お前はキメられた
滑らかなLLMによって
[画像]
>>1
『深刻な事態：数学の問題が解かれてしまった』
人間ってなんでこうなんだ？
『でも本当は俺が解くはずだった』
『俺は頑張ってきたんだ』
『あいつにその資格はない』
人類が昔からずっと抱えてる問題の根っこはこれだよ。弱い人間、器の小さい人間
『深刻な事態：数学の問題が解かれてしまった』
人間ってなんでこうなんだ？
『でも本当は俺が解くはずだった』
『俺は頑張ってきたんだ』
『あいつにその資格はない』
人類が昔からずっと抱えてる問題の根っこはこれだよ。弱い人間、器の小さい人間
>>11
『なんでこうなんだ？』
足を引っ張る文化
タールポピー症候群（成功者の足を引っ張る心理）
バケツの中のカニ症候群
悪意、嫉妬、欲、怒り……いくらでも挙げられる
『なんでこうなんだ？』
足を引っ張る文化
タールポピー症候群（成功者の足を引っ張る心理）
バケツの中のカニ症候群
悪意、嫉妬、欲、怒り……いくらでも挙げられる
『数学者たちが自分の問題を隠し始めている』
俺はずっとそうしてきたよ
俺はずっとそうしてきたよ
ポール・エルデシュがAIを見たら何を思うだろうな。論文を量産するためにアンフェタミンまで使ってた人だから、これも願いを無限に叶えてくれる魔法のランプみたいに見るんじゃないか
>>8
『俺のアルゴリズムは超賢いんだ』
『証明の方向性を一つ与えてやれば、あとは勝手にやってくれる』
『俺のアルゴリズムは超賢いんだ』
『証明の方向性を一つ与えてやれば、あとは勝手にやってくれる』
>>1
ヘリオット・ワット大学か、いい大学だな
ヘリオット・ワット大学か、いい大学だな
>>4
いや、もっとひどいよ。企業で働いてれば少なくとも金になるからな
いや、もっとひどいよ。企業で働いてれば少なくとも金になるからな
>>18
『違う、ブルートフォース（力任せ）のアルゴリズムを使わなきゃ、お前はインチキだ！』
『違う、ブルートフォース（力任せ）のアルゴリズムを使わなきゃ、お前はインチキだ！』
>>18
※バイブ厨な
※バイブ厨な
>>1
凡人に神のような力を与えられる時代になったのに、それを使うのを怖がる人間が多すぎるのは異常だ
凡人に神のような力を与えられる時代になったのに、それを使うのを怖がる人間が多すぎるのは異常だ
>>23
それが身内びいきだけで実力主義を否定するための言い訳じゃなければ、正当な感覚なんだけどな
それが身内びいきだけで実力主義を否定するための言い訳じゃなければ、正当な感覚なんだけどな
>>23
『神にもなれる』
『でもそのやり方は俺たちだけに教えろ』ってことだろ
『神にもなれる』
『でもそのやり方は俺たちだけに教えろ』ってことだろ
>>16
『クソ野郎！数学を解放するな！』
バイブコードの時間だ
バイブコードの時間だ
ボットに乗っ取られてもお前を救う者は誰もいない
[画像]
『クソ野郎！数学を解放するな！』
バイブコードの時間だ
バイブコードの時間だ
ボットに乗っ取られてもお前を救う者は誰もいない
[画像]
>>1
そのアカデミックな数学者たちがそんなに頭いいなら、AIが解けなくて人間だけが解ける問題を作ればいいじゃん
そのアカデミックな数学者たちがそんなに頭いいなら、AIが解けなくて人間だけが解ける問題を作ればいいじゃん
>>26
実力主義における『実力』って、結局いつも『従順さ』のことなんだよな
実力主義における『実力』って、結局いつも『従順さ』のことなんだよな
ネイティブ民、発狂中
[画像]
[画像]
他サイトの新着
>>28
AI企業同士で金を循環させ合う仕組みにしたらどうだ？
AI企業同士で金を循環させ合う仕組みにしたらどうだ？
>>33
自己修正型の問題だな。どっちにしても自然に解決する
[GIF]
自己修正型の問題だな。どっちにしても自然に解決する
[GIF]
>>41
これマジ？バイブ仲間よ
これマジ？バイブ仲間よ
>>30
なんで数学者は『誰もAIの証明を理解できないことが重要だ』と言うんだ？人間が書いて人間が査読した証明が無い限り問題は解決してないことになるなら、彼らはそのまま研究を続けてて問題ないはずじゃないのか？
なんで数学者は『誰もAIの証明を理解できないことが重要だ』と言うんだ？人間が書いて人間が査読した証明が無い限り問題は解決してないことになるなら、彼らはそのまま研究を続けてて問題ないはずじゃないのか？
>>28
めちゃくそ分かる
めちゃくそ分かる
>>1
抽象的な数学の問題を解くことに、そもそも何の使い道があるんだ？
抽象的な数学の問題を解くことに、そもそも何の使い道があるんだ？
>>38
ほとんどの人は毎月数ドル送ってるだけだけど、まあお前はやりたいようにやれよ
ほとんどの人は毎月数ドル送ってるだけだけど、まあお前はやりたいようにやれよ
コラッツ予想ってもう証明されたのか、まだなのか？まだなら、なぜだ？AIって結局使えないのか？
この話題の背景と論点
このスレッドの背景には、AIが数学の未解決問題に次々と証明を与えるようになり、Erdős problemsのような公開問題集から未解決問題を取り下げる数学者が出ているという実際の動きがある。スレでは、AIの証明を「解決」と認めない数学者の姿勢を単なる嫉妬や既得権益の保護と見る声と、人間が検証できない証明を数学的成果と呼べるのかという査読上の問題を指摘する声が並び、どちらが優勢とも言えない。スレタイの「Mathie」は特定の人物を指すものではなく、マイケル・ジャクソンの楽曲のパロディを使ったミーム的な煽りであり、実在の事件や人物を報じたものではない点は押さえておきたい。
※本記事は海外掲示板 4chan /g/ (Technology) のスレッド「THERE’S A SOUND AT THE WINDOW, THAT HE STRUCK YOU, A CRESCENDO, MATHIE!」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。
この記事のリアクション
まだコメントはありません。