ニュース概要
📝 編集部メモ
２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専
ネット上でも様々な反応が寄せられている。5chでは以下のような反応が見られた。
5chの反応（102件）
1：ジャン・ピエール・コッコ(神奈川県) [US] 2026/05/03(日) 22:36:57.63 ID:Yonl4l2t0●
２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226
5：柿兵衛(庭) [ﾆﾀﾞ] 2026/05/03(日) 22:39:00.06 ID:A5qBw7WN0
それが正しいのか調べる仕事が生まれるんだろ理系は情けない立ち位置に追い込まれてるな
6：ニックン(やわらか銀行) [US] 2026/05/03(日) 22:39:21.63 ID:Z7wj8J4v0
シータが土と共に生きよと言ってたべ、人間は土方と農家だけでいいんだよ
7：ミミちゃん(大阪府) [ﾆﾀﾞ] 2026/05/03(日) 22:39:30.27 ID:bg0B2LTQ0
定理を証明って何なの？証明されたものが定理になったんじゃないの？
14：ピモピモ(大阪府) [US] 2026/05/03(日) 22:44:15.47 ID:TmxeBapY0
米国とイランの停戦案もAIに一任しろって
それしか方法ないだろ
それしか方法ないだろ
17：大魔王ジョロキア(東京都) [US] 2026/05/03(日) 22:46:57.72 ID:7Ao/XpQ20
単純なプログラムの生成ですら結構ぬけがあるのに
こういう証明ってちゃんとできてるんだろうか？
こういう証明ってちゃんとできてるんだろうか？
28：とこちゃん(庭) [ﾆﾀﾞ] 2026/05/03(日) 22:56:22.56 ID:u3/tjOuy0
小学六年生向けの算数の問題
一辺が8cmの正方形
https://imgur.com/OCp0u2G.jpeg
一辺が8cmの正方形
https://imgur.com/OCp0u2G.jpeg
chatgptに解かせたら出鱈目を自信満々に。。。
——/—//——————————
図だけだと少しトリッキーですが、結論から言うとこの問題は「うまく打ち消し合う」タイプです。
ポイントは
* 正方形は一辺 8 cm → 面積は 64
* 対角線で分けると半分ずつ
* 円弧で削られている部分と、別の場所で足されている部分がちょうど一致する
つまり、青い部分は最終的に「正方形のちょうど半分」になります。
答え：
👉 32 cm²
もし途中の考え方（円の半径やどこが打ち消し合うのか）をちゃんと追いたければ、そこも図付きで説明できますよ。
>>1
29：とこちゃん(庭) [ﾆﾀﾞ] 2026/05/03(日) 22:58:00.96 ID:u3/tjOuy0
>>28
どうしても32㎠が正しいと言い張るAI
どうしても32㎠が正しいと言い張るAI
https://tadaup.jp/5Un0lIGm.png
38：星犬ハピとラキ(庭) [ﾆﾀﾞ] 2026/05/03(日) 23:12:58.77 ID:tKcdzHHO0
「中点連結定理を無限に繰り返すと三角形の2辺の和は他の1辺に一致する」を解いて欲しいです。
「点に大きさは無く線に太さは無い」という詭弁は無しでお願いします。
「点に大きさは無く線に太さは無い」という詭弁は無しでお願いします。
44：メガネ福助(富山県) [US] 2026/05/03(日) 23:29:31.69 ID:QFYnICwm0
>>28
今ざっと見ただけで外周の正方形の3/4が目的の面積だと分かるのに、AIはどこからこんな解を出してきたんだ
想像以上にAIのプログラムがマヌケなのか、これを解かせたのが人力中華AIなのか、どちらだ？
今ざっと見ただけで外周の正方形の3/4が目的の面積だと分かるのに、AIはどこからこんな解を出してきたんだ
想像以上にAIのプログラムがマヌケなのか、これを解かせたのが人力中華AIなのか、どちらだ？
50：メガネ福助(富山県) [US] 2026/05/03(日) 23:35:31.65 ID:QFYnICwm0
>>47
ではAIがどうしたらこんな解を出したのか解説してくれ
よく知っているようだからな
ではAIがどうしたらこんな解を出したのか解説してくれ
よく知っているようだからな
52：タックス君(愛媛県) [US] 2026/05/03(日) 23:37:59.79 ID:ojXl0KYP0
https://i.ytimg.com/vi/RHXwJc0RuEA/maxresdefault.jpg
これAIに読ませたら解くんか？
これAIに読ませたら解くんか？
54：キビチー(大阪府) [JP] 2026/05/03(日) 23:39:42.87 ID:Qdu+c53K0
>>14
そーいえばだれもAIでアイデア出ししてねーな
そーいえばだれもAIでアイデア出ししてねーな
58：お前はVIPで死ねやゴミ(京都府) [ﾆﾀﾞ] 2026/05/03(日) 23:48:40.76 ID:sc90i9jf0
うちの有料Geminiさんに答えさせたら余裕で間違えてて
以下にお前の答えがおかしいかをコンコンと詰めて図も交えて説明したけど
結局正答にはたどり着けなかった
AIも所詮はこんなもんかって思った
以下にお前の答えがおかしいかをコンコンと詰めて図も交えて説明したけど
結局正答にはたどり着けなかった
AIも所詮はこんなもんかって思った
60：たまごっち(みかか) [ﾆﾀﾞ] 2026/05/03(日) 23:50:51.43 ID:o6Dw+IPH0
試してないからわからんがその図をテキストで正確に説明してあげれば簡単に解いてくると思うよ
63：モバにゃぁ?(庭) [US] 2026/05/04(月) 00:00:43.04 ID:2kEL5WJB0
解くのは簡単なんだよ
証明すんのが大変で
さらに検証するのがもっと大変なんだ
証明すんのが大変で
さらに検証するのがもっと大変なんだ
68：モバにゃぁ?(庭) [US] 2026/05/04(月) 00:14:45.96 ID:2kEL5WJB0
>>64
証明を検証するのが大変って書いたんだが？
証明を検証するのが大変って書いたんだが？
92：メトポン(庭) [ﾆﾀﾞ] 2026/05/04(月) 00:57:11.30 ID:1Dj0Vhp50
>>52-53
ChatGPTに最善手を質問すると平気でルール違反をする
動けないところに駒を動かす手を示したり簡単に負けるような手を示す
ChatGPTに最善手を質問すると平気でルール違反をする
動けないところに駒を動かす手を示したり簡単に負けるような手を示す