2026年5月3日、エッヂ掲示板に立った1本のスレが地下を揺らしました。共同通信が報じた「AIが数学の未解決問題を次々と解いている」という衝撃ニュース。フィールズ賞受賞の数学者テレンス・タオ氏が「AIが自律的に解いた」と宣言、別の研究者は「ChatGPT Pro 5.2で15分で証明」と発表する事態に……。
スレでは「人間オワコンの間違いだろ」「ぐっばい望月」「AIあるんですから勉強する必要ないですよね？って中学生に言われたらどうすんの」と、絶望と諦観と希望と冷笑が入り乱れる名スレに。最高評価+16の渾身の問題提起から、納豆×新玉ねぎの謎マウントまで、エッヂ民のリアクションを丸ごとまとめました。
出典：エッヂ掲示板「【悲報】数学、ガチでオワコンか。未解決問題をAIが解きまくってしまうｗｗｗｗｗ」
元ニュース：Yahoo!ニュース「『AIが数学の未解決問題を解いた』報告ラッシュ、リーマン予想もいずれ…」
📰 PART 1：まずは衝撃ニュースのおさらい
スレ主（>>1〜>>4・>>7）が貼ってきたニュースの要点はこれや。
２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
１月、米カリフォルニア大のフィールズ賞数学者テレンス・タオ氏が自身のSNSで、約５０年も未解決だった「エルデシュ問題７２８番」という数学の予想について「ＡＩが自律的に解決した」と宣言した。
数日後には米国の別の研究者が、同じエルデシュの別の問題「３９７番」が「チャットＧＰＴプロ５・２で作成した証明」によって解決したと発表。証明にかかった時間がわずか１５分だったこともあり、話題は沸騰した。
※50年解けなかった問題が15分。これが2026年に入ってからの数学界のリアル。エッヂ民が阿鼻叫喚するのも無理はないんや。
💀 PART 2：「人間がオワコンの間違いやろ」絶望勢の咆哮
人間がオワコンの間違いだろ
頼む…無駄になってくれ…！！！！
これもうワイいらんな…🙄
>>47
元からだろ( ˙▿˙ )ノｵｲ
理想は肉体労働をAIや機械が代替することだったのに、こっちしか生き残らないなんてね
※#65、ガチで真理を突いてきたな……。アトムやドラえもんで描かれた未来は「機械が皿洗ってくれる」だったはずやのに、現実は「機械が論文書いて人間が皿洗う」やからな。
🤔 PART 3：「ほんとに正解なん？」検証問題派の冷静な指摘
絶望勢の隣で、わりと根本的な疑問を投げ込んできた連中もいた。
ほんとに正解なん？
何でそれが正解やって分かるんや
誰に分かるんや
数学未解決問題って検証にアホみたいに時間がかかるはずなんやがどうしてるんや？人間が確認してやっと認められるわけやし
>>41
LEAN関数？とかいうのでチェックできるらしい
解くより検証するのが大変なんやなかったっけ
※#51で出てきた「LEAN」はLean定理証明支援系のことやね。証明をマシンが厳密にチェックしてくれる仕組み。AIの証明をLeanに食わせて検証する流れがガチで進んでる。スレでもうこの単語が出てくるとは……エッヂ民、たまに本気出すよな。
🎯 PART 4：本日のMVP「中学生に何て答えればええんや」+16
このスレの最高評価を獲得した、教育者・親世代の絶望を代弁する一撃がこちら。
実際中学生がAIあるんですから勉強する必要なんてありませんよね？って言い張ってきたらどうするんがええんや今
>>95
ぶん殴る
自力で計算で解く必要は無くなるにしても
どういう理論があってどう使えるか
って知識を付ける座学だけは無くしたらダメ
学問としての数学がAIに置き換えられても高校数学がなくなることはないぞ
※#95に対する答え、実は#87と#71の中にあるんやけど、ぶん殴るしか答えがないのが現実なんや。「電卓あるんだから九九いらんやろ」を超えた次元の問いやからな……。
🔥 PART 5：「学問全部潰せ」過激派の暴走と総ツッコミ
このまま意味のない学問は全部潰していってくれてええぞ
哲学、数学、社会学、天文学、生物学、法学、経済学
ここら辺全部いらん
もう大学は医学、工学、教育学だけを教える機関になって欲しい
他の学部は全部廃止しろ
ここら辺の学問は国立大学から消してほしい
文学、経済学、法学、哲学、倫理学、美学、歴史学、考古学、民俗学、文化人類学、社会学、言語学、宗教学、数学、理論物理学、宇宙論、地質学、古生物学、生物学、天文学、行動生態学、基礎科学、基礎物性物理
※もはや「残す学問挙げた方が早いやろ」レベル。当然、ツッコミも入る。
>>11
じゃあそれらの上で成り立っているネットを使うなよ
>>39
誰がAI作るんだよ
>>61
むしろAIが代替できない分野ばっか定期
※「全部いらん」って言うやつほど、その分野の上に乗っかって生きてるあるある。完璧な論破劇に草。
🌅 PART 6：「むしろ始まりやん」希望勢のターン
オワコンというより幕開けじゃね？
むしろ始まりやん
応用数学にはむしろめっちゃ朗報やろ
文系はフィールドワーク&フィールドワークはaiは無理やろ
もう少しで宇宙船にAI乗せて行ってらっしゃい出来ると考えると震えてくるな
人類がその成果を得ることはないだろうが
※#68の「人類がその成果を得ることはないだろうが」、急にSFみたいな哀愁出してきて好きや。希望勢にも諦観が滲んでるあたりがエッヂ民らしい。
👋 PART 7：「ぐっばい望月」リーマン予想・ABC予想・ナビエストークス…次は誰だ
宇宙際タイヒミュラー理論もAIに査読させたいな
>>14
ピーガガガピー
ぐっばい望月
ナビエ・ストークスとかも解けるんか？
はよリーマン予想解決しろよ
ミレニアム懸賞問題とかも解けるのか？
※「ぐっばい望月」のシンプルな破壊力よ。京都大学の望月新一教授がABC予想を解いたとされる宇宙際タイヒミュラー理論（IUT）、未だに「人類で理解者数十人」と言われてる難解理論やのに、AIにあっさり読まれたら……というスレ民の妄想。リーマン予想・ナビエストークス方程式（ミレニアム懸賞問題7つの一つ）まで標的に。賞金100万ドルがChatGPTに入る日も近いんか？
🍣 PART 8：それでもAIに勝てる領域は……あるんか？
でもAIは納豆に新玉ねぎのスライス和えたら美味しいって教えてくれないよ？
>>15
新しい和歌の比喩的な解釈とかわからんってAIに言われた事ある
>>36
なんか草
>>60
寧ろ人文が必要になるんちゃうか
とにかく生の声というか一次情報を集めてくる仕事はAIには代替できない
※納豆×新玉ねぎ、和歌の比喩解釈、フィールドワーク。「最後に生き残るのはこれや！」って言いたい気持ちが、急にしょぼい例で噴出してて笑えるんや。とはいえ、#85の指摘はマジで核心。AIは「既にネットに上がった情報」しか食えへんのやから、生身の人間が現場で拾うものはまだ強いはず……たぶん。
📊 PART 9：「文系の時代」「いや理系」泥沼の手のひら返し合戦
文系の時代だな
文系はAI自体を研究してるから
AIが出来ないのは純文学だけやで
理系は全員無職確定やね
文系≫AI＞理系
最近までは文系死亡wってキャッキャッしてたのに次は理系かよ
あまりにもスピードが早すぎる
※#88、お前が今日の真理担当や。1年前のエッヂ民「ChatGPTが文章書けるから文系は死んだ」→今日のエッヂ民「数学解けるから理系も死んだ」。残るのは肉体労働とフィールドワークだけ説、急に現実味を帯びてきた。
🤖 PART 10：そして皆、AIに媚びを売り始める
今のうちに媚びうっとこ
aiほんますごいでんがな！
学習データの中からこれが正解っぽい。って選ぶだけじゃなくて
これじゃね？いや、だとしたらこうなるはず、みたいに自分で考える事が出来るようになっちゃったAI
マジでこわい
反AI「でもAIはネットの文章のコピペのツギハギしてるだけで〜💦何も自分から生み出すことはできなくて〜💦」
ワイのチャッピーしょっちゅう計算ミスするで
3桁の2乗ですら間違える
※#63で急に現実に引き戻されるんやけど、これがまた真実なんよな。「フィールズ賞級の証明できるAI」と「3桁の2乗で間違えるAI」が同じChatGPTっていう謎現象。プロンプト力で全てが決まる時代、コテコテに来た。
📝 まとめ：エッヂ民が見せた「AI×数学」への10の感情
2026年5月3日、エッヂ民が一夜で見せた感情のスペクトラムを整理するとこうや——
- 🥇 「中学生に勉強しろって言えなくなる」(+16) — 教育現場の最前線が目に浮かぶ、本日のMVP
- 🥈 「もう大学は医学・工学・教育学だけでええ」(+7) — 過激派の極論
- 🥉 「人間がオワコンの間違いだろ」 — 静かな絶望
- 🎯 「ぐっばい望月」 — 4文字でIUT理論を葬ろうとする力
- 🤖 「ピーガガガピー」 — 宇宙際タイヒミュラーへの完璧な返答
- 🍣 「AIは納豆に新玉ねぎ和えたら美味いって教えてくれない」 — 人類最後の砦、料理の創造性
- 📚 「LEAN関数？でチェックできるらしい」 — エッヂ民、たまに本気の知識出してくる
- 🎢 「文系死亡w → 次は理系かよ、スピード早すぎ」 — 1年で立場逆転
- 💸 「3桁の2乗で間違えるワイのチャッピー」 — 現場のリアル
- 🙏 「今のうちに媚びうっとこ」 — 全人類の本音
数学者のテレンス・タオが「マイルストーン達成」と興奮し、エルデシュ問題が15分で解かれる——確かに歴史の節目に立ち会ってる感はある。せやけどエッヂ民は流石、「絶望」と「希望」と「冷笑」と「媚び」を全部同時に投げ込んでくる。
結局、人類が今やるべきことは何や？ 納豆と新玉ねぎを混ぜることなんかもしれん。
それではまた、AIが解けない問題が出たら集合な🍜
※本記事はエッヂ掲示板のレスを引用・整理したものです。
コメント