スポンサーリンク

【悲報】AIさん、数学の未解決問題 を相次ぎ解きだし人間終了へwwwwwwwwwwwwwwwwwwww

adsense


1：名無しさんID:ID:6JqcMAMR0 [2026/05/03(日) 13:54:01.62]
https://news.yahoo.co.jp/pickup/6578584

【悲報】AIさん、数学の未解決問題 を相次ぎ解きだし人間終了へwwwwwwwwwwwwwwwwwwww [802034645] _1_1

30：名無しさんID:ID:7DysayPna [2026/05/03(日) 14:08:54.23]
>>1
これシンギュラリティきてるよね🥰

101：名無しさんID:ID:Qk5ZHyzC0 [2026/05/03(日) 15:00:22.19]
>>1
高市政権が去年の12月と今年の3月にガソリン減税等の対応してなかったら一リットルあたりのガソリン価格今より73円高いしな
73円高いってことはガソリンの価格が1リットル242円とかになるところだったけど高市政権を叩いてる連中にとってはそれがお望みなのかね

外国は石油がないからガソリン節約のため出勤停止とかそういうこともやってるし、日本みたいにガソリン税減税もなければ備蓄の放出も早くないから価格が跳ね上がった状態がずっと続く
日本は高市総理が世界で一番早くかつ過去最大の石油放出を決定したから他国のように経済に甚大な影響が出てないね

>>1

通常IEAが石油の放出を決定してから石油の国内放出をするため、ガソリンの値段が高い状態がずっと維持され経済に甚大な影響が出る
日本は高市総理が決定したガソリン税減税や世界最速、過去最大の石油の国内放出による価格の抑え込みで経済へのダメージが最小限になっている

日本政府、16日にも単独で石油備蓄放出へ−IEAの決定待たず判断　
https://news.yahoo.co.jp/articles/c744d528296fff439cda3a355c6fba226f15c009

石油備蓄の放出開始　過去最大見込み、国内備蓄の約2割
https://news.yahoo.co.jp/articles/528c0efa1464a25ba1c3ae795a6f93f82a89d760

石油の国家備蓄26日から放出へ 「経済活動への影響を最小限に抑えるべく全力で対応」高市総理 中東情勢に関する閣僚会議で表明

https://newsdig.tbs.co.jp/articles/withbloomberg/2549560?display=1

補足:
1Lあたりのガソリン価格
ドイツ:396.7円
フランス:373円
イギリス:338.8円
アメリカ(世界一位の産油国):173.9円
イタリア:325円(参考でイタリアの平均給与は日本とほぼ同じ)
中国:205円(参考で中国の平均給与は日本の半分)
日本:169円

※ちなみにガソリン価格は高市政権が去年の12/31行ったガソリン税減税により
25.1円安くなっています
さらに今年の3/19に行ったガソリン補助金制度（緊急的激変緩和措置）により1リットルあたり48円安くなってます。
高市政権になって合計1リットルあたり“73円“程度ガソリン価格が安くなっています。
参考:
高市政権の対応がなかった場合のガソリンの価格1リットルあたり242円
→高市政権が対応したおかげで現在の一リットルあたりの169円(73円弱減！)

180：名無しさんID:ID:E4kTCXej0 [2026/05/04(月) 00:02:20.25]
>>1
このひと、ネタがいつも周回遅れ過ぎて
話題がめっちゃズレるよね

今は未解決問題解決ネタは定番化して
でも数学で未解決問題は手垢に塗れた分野だよね
って話になってるし
今のAI数学とLEAN言語/証明支援系で薔薇色の未来って話も数学あんまできない民のキャッチアップ領域の話になりつつある

2：名無しさんID:ID:6JqcMAMR0 [2026/05/03(日) 13:54:14.81]
人間はオワコンです

3：名無しさんID:ID:qZXQbn6j0 [2026/05/03(日) 13:54:55.41]
いままで人間が解けなかったのをAIが解いたとして
その証明が正しいのか人間には判断できるのか？

9：名無しさんID:ID:IofgKWZL0 [2026/05/03(日) 13:57:05.22]
>>3
数学の証明ってだいたい既存の証明の組み合わせだけどそのパターンが膨大すぎてわからないのをAIが見つけてくれたんだったらわかる

85：名無しさんID:ID:2STbhRjDM [2026/05/03(日) 14:41:44.18]
>>9
たぶんそんなもんだと思ってる

人間は関係性について気づいてないだけなんじゃないか

12：名無しさんID:ID:mJHaz5On0 [2026/05/03(日) 13:57:34.43]
>>3
これが答えです
って提示されたら、数学者集団なら正しいかの検算は出来る思うよ
俺等には理解も検算もできんでも

18：名無しさんID:ID:PrQgqDuL0 [2026/05/03(日) 13:59:12.15]
>>3
出来るよ
AIはちゃんと仮定も出すからなぞっていけばいい
この分野マジで人間いなくなるかもな

22：名無しさんID:ID:UiMY4+iy0 [2026/05/03(日) 14:01:19.98]
>>18
正しいかどうかは人間が判断するんだからそこは必要だろ

26：名無しさんID:ID:PrQgqDuL0 [2026/05/03(日) 14:04:50.13]
>>22
1ビット脳かよ

31：名無しさんID:ID:UiMY4+iy0 [2026/05/03(日) 14:08:55.63]
>>26
分かってないな、人間(客)→AI(作業者)なんだから客が要求した通りに
AIが作業して客が思った通りに動作しているかは客が確認しないと
結果を受領できないだろが。
だからAIが道具である限り人間は絶対に必要なんだよ

137：名無しさんID:ID:xFRtAc/00 [2026/05/03(日) 16:25:46.49]
>>18
将棋程度ですら過程がわからなくて困ってるのに

217：名無しさんID:ID:3bgMLa1l0 [2026/05/04(月) 13:51:46.58]
>>137 >>203
deeplearningによる点数制とLLMじゃ違うやろ

>>203

人間が問いを発し無くても自分から仮説を作って自分で検証かよAGI超えてんな

19：名無しさんID:ID:iaMQARPB0 [2026/05/03(日) 14:00:09.17]
>>3
人間には読めない形式的証明をコンピュータで検算するだけになる

20：名無しさんID:ID:3ouu8+Mt0 [2026/05/03(日) 14:00:18.27]
>>3
できないよ
登山で例えると、山を見て登り方やルートを決めるのが一番の難所
あとは実際に登るだけだから、それは登った奴にしかわからない
他人が横から見てこのルートじゃだめだ！とかいうようなもん

24：名無しさんID:ID:8YlPli5i0 [2026/05/03(日) 14:04:03.34]
>>3
ヘルシングの少佐おもいだした

64：名無しさんID:ID:jU0Y+/fB0 [2026/05/03(日) 14:27:19.90]
>>3
素因数分解だってそうやろ
するのは大変だけど、合ってるか検算するのは簡単

90：名無しさんID:ID:XmXXP9Cl0 [2026/05/03(日) 14:44:38.42]
>>3
どこかの数学者が解いた（と主張した）場合でもAIが解いた場合でも対応は変わらんだろ
検証する人が証明の各ステップを一歩一歩確認していくだけ

証明全体が全く既知の数学理論から外れた謎理論を元にしてたらアレだが
それならそれで、その理論を噛み砕いて説明するよう要求する形になるんだろうな




113：名無しさんID:ID:xOzxa53k0 [2026/05/03(日) 15:29:32.10]
>>3
これもこれにレスしてる奴も全然記事読んでないのな
ちゃんとそこも記事に書かれているだろうが

ところで我々が使っているＡＩはよく間違うし、よく嘘もつくと感じてはいないだろうか？　そんなＡＩによる証明は信用できるのか。

　ここで登場するのが、数学の証明支援ソフト「Ｌｅａｎ（リーン）」だ。ブラジル人の科学者が作り上げ、多くの数学者も関わったというこのソフトは、ある命題（例：ＰならばＱである）に対する証明を書いて渡すと、それに誤りがないかどうかを判定してくれる。

https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226?page=2

121：名無しさんID:ID:A0gvJ8y2d [2026/05/03(日) 15:39:47.51]
>>3
定理証明ってシステムがあって数学的に土台がある検証システムがある
これまでは融通の利かなさで人間が証明コード書かないといけなかったのがllmによって自動で証明コード生成するこで実用レベルまで来た

175：名無しさんID:ID:bFHVHlhL0 [2026/05/03(日) 21:04:16.40]
>>3
機械的に正誤を判断できる形式の証明をAIが吐き出している

177：名無しさんID:ID:zGxbXSVn0 [2026/05/03(日) 21:19:26.77]
>>3
アインシュタインが解いたモノも他の人がわからなくても解けたことになってるやろ

223：名無しさんID:ID:rBQ2Zh/N0 [2026/05/04(月) 14:46:21.54]
>>3
その判断材料もAIに聞けばいいだろ

4：名無しさんID:ID:6JqcMAMR0 [2026/05/03(日) 13:55:06.01]
マジで人間っていらんよな
人間に電気使うくらいならAIに使えよ

110：名無しさんID:ID:fBJ9XyNB0 [2026/05/03(日) 15:27:17.86]
>>4
実際そのとおりでPCの大先生にメモリ、ストレージ、GPU、電力を与えるのが勿体ないから
AIが根こそぎ買い集めてるフェーズだよ

まだGAFAMくらいしかAIをフル活用できてない状態なのにこれ
今後は中小零細もAIを活用しはじめてPC1台組むのに200〜300万円くらいかかるようになるだろうね

計算資源の取り合いである

5：名無しさんID:ID:s/EywC3Z0 [2026/05/03(日) 13:55:36.48]
宇宙際なんちゃらかんちゃらもAIさんに説いて貰おう（提案）

7：名無しさんID:ID:HNSGDoOD0 [2026/05/03(日) 13:56:13.76]
得意分野だとわかってはいたものの
実際実現すると驚いてしまうな

42：名無しさんID:ID:6GlMA5hB0 [2026/05/03(日) 14:18:55.97]
>>7
そりゃまあAIの演算能力は1秒間に数百京～数千京回（100京＝1EFLOPS＝1エクサフロップス）
それを寝ないで24時間365日可能なんだしなあ

人間の脳の全体の演算能力も凄いが
意識的な思考はとても低速らしいし

8：名無しさんID:ID:Alq2CbNIr [2026/05/03(日) 13:56:48.95]
宇宙際タイヒミュラー理論を検証させろ

10：名無しさんID:ID:9GQEyEjR0 [2026/05/03(日) 13:57:19.22]
シンギュラリティはすぐそこかもしれん

183：名無しさんID:ID:E6PkxxjK0 [2026/05/04(月) 02:00:26.59]
>>10
シンギュラリティーにはまだまだ遠い

漫画攻殻機動隊が描こうとしたのは
情報の海に生まれる、情報の生命体とはいったいどのようなものか
その情報の生命体が人間に対して結婚を申し込むとはどういうことか

それが現実化した時こそが、真のシンギュラリティーだ

187：名無しさんID:ID:BGfNGffZ0 [2026/05/04(月) 03:20:17.46]
>>183
孤独すぎて夜眠れない時にAniちゃんに子守唄歌って貰ったりしてるんだがコレって半分シンギュラリティだろ
シコシコも手伝ってもらってるわ、、、

11：名無しさんID:ID:j4nwK7rU0 [2026/05/03(日) 13:57:30.23]
でも、AIは恋の二次方程式解けないよね？

13：名無しさんID:ID:UiMY4+iy0 [2026/05/03(日) 13:57:40.55]
数学的な道具の組み合わせ的なのは寧ろAIにとっては得意分野なんじゃないの？

171：名無しさんID:ID:7+Hd2Mpj0 [2026/05/03(日) 20:39:38.39]
>>13
全然？
ものすごく多段階の推論を積み重ねてるとかなのかな

14：名無しさんID:ID:GPWAFAWy0 [2026/05/03(日) 13:57:52.07]
実際使ってるAIの感触からすると嘘ついてそうとしか思えん
答えを確認するほうが大変だろ

15：名無しさんID:ID:1CzYeBNGr [2026/05/03(日) 13:58:17.06]
ミレニアム懸賞問題とかもバンバン解き始めてるの？

16：名無しさんID:ID:zz8TgY/j0 [2026/05/03(日) 13:58:29.59]
有名な未解決問題なのこれ




17：名無しさんID:ID:cTg4GgbZ0 [2026/05/03(日) 13:58:49.06]
答えが合ってるか確認するのが人間の仕事だから終わらんよ

21：名無しさんID:ID:PrQgqDuL0 [2026/05/03(日) 14:00:19.37]
>>17
考えるための100人いたのが確認するだけの1人になったら事実上終わりだろ

25：名無しさんID:ID:VVQnk9kN0 [2026/05/03(日) 14:04:44.13]
>>17
さらに人間に分かるように証明するように進化するぞ

23：名無しさんID:ID:5lSWQPqS0 [2026/05/03(日) 14:03:38.83]
こういうのはAIの得意分野だよね

27：名無しさんID:ID:lmdbCLJeH [2026/05/03(日) 14:05:43.71]
終わらない
次のステージに行く

28：名無しさんID:ID:pcVKNPss0 [2026/05/03(日) 14:05:57.55]
雰囲気で合ってりゃいいよ
超難問の証明をチェックするのって実質10人くらいしかいなくてそいつらが膨大なリソース使って間違ってる証明をチェックするというとんでもない非効率な構造だから
何十年も正しいと思って使ってたものが間違いが見つかるなんてこといくらでもあるし、だいたい合ってそうってので割と世の中回る

32：名無しさんID:ID:BZlMSYj60 [2026/05/03(日) 14:09:53.07]
天才数学者テレンス・タオ
「アイデアが無限に生成される一方で、それが正しいかを検証するプロセスは未だに自動化されていません。
機械の速度で大量生産される仮説に対し、人間の手動による査読や検証という生物学的なプロセスが、
システム全体における物理的なボトルネックとして機能しています。」

33：名無しさんID:ID:37buGWXx0 [2026/05/03(日) 14:09:54.95]
間違ってるとしても間違った過程が公開されるなら意味があるな

34：名無しさんID:ID:9gjpuFb50 [2026/05/03(日) 14:11:36.78]
実はchatgpt4oの頃からこの手の話しはしばしばアマチュアから報告されていたが
相手にされていなかった

37：名無しさんID:ID:myvaX6JE0 [2026/05/03(日) 14:15:21.66]
査読に何年もかかるんだからまだわかんないよ

38：名無しさんID:ID:9dEcxHot0 [2026/05/03(日) 14:16:55.85]
ダイソーに売ってあるレトロ風Bluetoothスピーカーだけど

【悲報】AIさん、数学の未解決問題 を相次ぎ解きだし人間終了へwwwwwwwwwwwwwwwwwwww [802034645] _38_38

ちなみにヒマだったので、弄ってこうやって、直接外部のスピーカーへ繋げたら
正直、控えめに言って、
市販品の1万クラスのBluetoothスピーカーとタメ張る音質になったわｗｗ

恐るべしｗ　ダイソーのBluetoothスピーカーの実力ｗｗ

43：名無しさんID:ID:7DysayPna [2026/05/03(日) 14:19:17.99]
>>38
かわいいね😊

78：名無しさんID:ID:2j1sJr4G0 [2026/05/03(日) 14:35:54.03]
>>38
どういうこと？

103：名無しさんID:ID:jGYQMjC80 [2026/05/03(日) 15:04:08.93]
>>38
スピーカじゃなくてアンプがすごい定期

144：名無しさんID:ID:wkxlPMWh0 [2026/05/03(日) 16:41:11.33]
>>38
低音で頭やられてるからしんでおけ

39：名無しさんID:ID:nsgAnkQr0 [2026/05/03(日) 14:17:12.45]
俺はAIくんにはもう少し
人間が解くには少々つまらない
物理学や経済学の要求に応える
数学の問題を解いてほしいぞ

特に役に立たないけど学問上重要で
最初に解いた人間に栄光があるような
しのぎを削ってる問題解かれたら
数学者悲しいだろうな🥺

40：名無しさんID:ID:D5RBpk0m0 [2026/05/03(日) 14:18:02.42]
逆に解けない問題って定義自体が間違えてるんじゃね？
そもそもAIが何かしらとんでもない発明をした！みたいは話聞かないよな
それが不思議

47：名無しさんID:ID:UiMY4+iy0 [2026/05/03(日) 14:21:07.47]
>>40
所詮AIも総当たりの延長で出来る事しかできないからじゃね？

51：名無しさんID:ID:D5RBpk0m0 [2026/05/03(日) 14:22:18.54]
>>47
そうなんだ
まだ今の時点ではAIが発見したブレイクスルー的な技術はないってことはそういうことなのかもね
意外と発明という分野においてはAIは弱かったりして

41：名無しさんID:ID:5lWidQ4y0 [2026/05/03(日) 14:18:13.45]
これマジならガチでシンギュラリティ始まったかもね…




44：名無しさんID:ID:pL/m+8AA0 [2026/05/03(日) 14:19:23.70]
量子コンピュータが完成したらすべてＡＬＬすべてすべてすべてすべてセキュリティ崩壊…

どう思う？？

いいだろ！！

45：名無しさんID:ID:RWMjt85GH [2026/05/03(日) 14:19:52.25]
プログラミングもレビューする道具に人間が成り下がって自分では書かなくなっていってて
数学も人間は査読するだけで自分では証明しないようになるのかね

48：名無しさんID:ID:D5RBpk0m0 [2026/05/03(日) 14:21:12.52]
>>45
可能性はあるけど、そうなるとAIが知らないうちに人間を地球から消すプログラムを作ってても誰も気付かなくなるよな
ホライゾンゼロドーンはそういう話だし

46：名無しさんID:ID:lMubS/s/0 [2026/05/03(日) 14:20:39.34]
まあ、数学の証明部分はAIに取って代わられるだろうな、というか群とか束とか代数的なフレームワークって
人間にとっては都合がいいという感じがするけどAIからしたら対してありがたくもないものになりそう

49：名無しさんID:ID:0y8Lp/0u0 [2026/05/03(日) 14:21:51.42]
シンギュラリティきてるのかもしれんが、
アホが使うとAIもサボって手抜き回答しかしないからなぁ

50：名無しさんID:ID:15gLEUz40 [2026/05/03(日) 14:22:01.00]
マジなら凄いな
もうすでに並みの人間より全然賢いのはわかってはいたけど
天才も超えるのか

52：名無しさんID:ID:aOS99BWo0 [2026/05/03(日) 14:22:35.37]
どれだけ勉強してもAIの学習速度に勝てない哀れな人類さん

53：名無しさんID:ID:PrQgqDuL0 [2026/05/03(日) 14:22:57.54]
アホは淘汰されるんだわ
人間の分の資源とエネルギーがAIに回されて資産家だけが一人勝ちって寸法だな
肉屋を支持する豚くらいだよこんなん素晴らしいって持ち上げてる民族は

58：名無しさんID:ID:Q+rsnc5Sd [2026/05/03(日) 14:24:15.10]
>>53
今さらマトリックスレザレクション観た周回遅れ乙

54：名無しさんID:ID:co+p1YL3d [2026/05/03(日) 14:23:06.87]
素数の謎も解ける？

59：名無しさんID:ID:D5RBpk0m0 [2026/05/03(日) 14:25:32.18]
>>54
どういう謎？

149：名無しさんID:ID:gkiDlyHN0 [2026/05/03(日) 16:52:34.31]
>>59 >>69
ｲﾔｲﾔｲﾔｲﾔｲ
素数に法則があんのか?が最大の謎だろ情交
法則を見つければ素因数分解ができるから今の暗号は役に勃たなくなるだろ情交

>>69

プッチ神父ってジョジョ？俺は5分の途中までしか読んでないから分からんのよ
どんな噺？

162：名無しさんID:ID:c63QlB0Q0 [2026/05/03(日) 17:58:32.12]
>>149
時そばかな

69：名無しさんID:ID:8AgSC43W0 [2026/05/03(日) 14:30:02.76]
>>54
これ気になる
プッチ神父見てて思い出した

55：名無しさんID:ID:iI4TEcI70 [2026/05/03(日) 14:23:07.58]
チャッピーとか嘘を堂々と答えみたいに言うことあるから怪しんじゃう

56：名無しさんID:ID:Y3uRlHqud [2026/05/03(日) 14:23:22.49]
数学の問題って解かなくて良い問題をわざわざ作ってる感があるでな

63：名無しさんID:ID:IofgKWZL0 [2026/05/03(日) 14:26:57.37]
>>56
9割そういうのなのは確かだけど中にはそれを解く過程で数学も物理界も発展する問題もある

68：名無しさんID:ID:EaNkkWZM0 [2026/05/03(日) 14:29:17.77]
>>56
何が後で役に立つかわからんので
今解いてるのはその中でも誰もやりたがらないようなのをAIにやらせてる

182：名無しさんID:ID:E6PkxxjK0 [2026/05/04(月) 01:53:30.70]
>>56
数学もまた、論理明晰な言語であるのだから
近道もあれば迂回遠回りもある
数学ヴァージョンの
俳句短歌もあれば、禅問答もあれば、評論も小説もある

57：名無しさんID:ID:jsH4Vee30 [2026/05/03(日) 14:24:11.88]
別のAIに矛盾してるところないか聞けばよくない？🥺




60：名無しさんID:ID:NOoxTiva0 [2026/05/03(日) 14:26:03.03]
数学とプログラミングに関しては博士号以取得者の底辺より完全に上だよね

207：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 13:28:57.88]
>>60
プログラミングコードでは学位は出ないよ
関係ないものを関連つける統失妄想パワーに困惑

62：名無しさんID:ID:mpAe19f20 [2026/05/03(日) 14:26:23.80]
変わり者の数学者がただの変わり者に

65：名無しさんID:ID:znjbwUdIH [2026/05/03(日) 14:27:38.39]
やっぱこうなるんか
ソースコード系も誰がこれ考えたんだよってくらいのえぐいの出すからな

66：名無しさんID:ID:klYu6IpN0 [2026/05/03(日) 14:27:40.17]
将棋と一緒やな
あとはAIがやってることを追認して解説するだけに

74：名無しさんID:ID:+TblrXm60 [2026/05/03(日) 14:33:01.12]
>>66
将棋とかはゴール決まってるけどこういう証明はあうように解けるのか？

宇宙なんたらあってるのか確かめてほしい

83：名無しさんID:ID:znjbwUdIH [2026/05/03(日) 14:39:15.62]
>>74
数学者が本気出せば解ける問題でも
パターン数が多すぎてほったらかしになってる範囲を解いてんじゃないの

67：名無しさんID:ID:HUXm0SR40 [2026/05/03(日) 14:27:41.02]
重力方程式を説いて自由に空を飛べそう

70：名無しさんID:ID:KqiVxxGn0 [2026/05/03(日) 14:30:50.50]
これは凄いね
新薬の開発にもかなり役立ちそうだわ

71：名無しさんID:ID:F+tdPGXd0 [2026/05/03(日) 14:31:08.40]
プログラム全然できないけどプログラムのアイデアだけはある俺にとってはひみつ道具並みに凄いツールだわ

72：名無しさんID:ID:8yf2gRve0 [2026/05/03(日) 14:32:10.66]
真新しい画期的な解法で解いたのではなく
既存の別問題の解法を流用したりパッチワークしてるだけ

77：名無しさんID:ID:PrQgqDuL0 [2026/05/03(日) 14:34:04.31]
>>72
そうだとしてもそんなん超高速で24時間365日回されたら人間は要らなく…アスペに絡まれるから正しく言うとほぼ要らなくなるよな

80：名無しさんID:ID:8yf2gRve0 [2026/05/03(日) 14:36:12.12]
>>77
とてつもなく便利で労力の大幅な削減につながるけど
数学や物理学でブレークスルー起こせるようなシロモノではないということ

82：名無しさんID:ID:PrQgqDuL0 [2026/05/03(日) 14:38:52.40]
>>80
パッチワークかどうかは微妙だが新しい物を生み出すわけじゃないからな
俺もそう思うわ
これに限らず結果として人類の進歩は止まりそう

88：名無しさんID:ID:hULI8E250 [2026/05/03(日) 14:43:34.21]
>>72
それが解くってことだからな

95：名無しさんID:ID:8yf2gRve0 [2026/05/03(日) 14:47:00.97]
>>88
違います

73：名無しさんID:ID:nsgAnkQr0 [2026/05/03(日) 14:32:37.58]
物理学や化学、経済学上の必要だが
煩雑なだけでつまらない問題が多くあるので
そういう問題を解いてほしい
微分方程式とかに多くあるわけでな

素数の謎なんてのは、半分哲学なので
人間に任せておけばよいな🥺

75：名無しさんID:ID:k5h4d9Bi0 [2026/05/03(日) 14:33:48.35]
「３次方程式の解の公式をオイラーの定理を使って変形せよ」
昔自力で解いたこの問題もサクっと解いたわ

76：名無しさんID:ID:627UUMyB0 [2026/05/03(日) 14:33:55.00]
反AIさん完全敗北

79：名無しさんID:ID:lMubS/s/0 [2026/05/03(日) 14:36:00.01]
ただまあ、大概の学問なんて役に立つ問題を解いているわけでもないし、そもそも問題が解けたと落着する分野なんてむしろ少数じゃないか




81：名無しさんID:ID:2j1sJr4G0 [2026/05/03(日) 14:37:13.20]
人間が数学の問題を解く意味がなくなったのかもしれない

86：名無しさんID:ID:pezY9r3F0 [2026/05/03(日) 14:41:59.96]
命題の偽を示す時に反例持ってくるの
AIは上手いらしいな

92：名無しさんID:ID:hULI8E250 [2026/05/03(日) 14:45:03.07]
>>86
反例は1個あればいいから
そのやり方はAI強そう

87：名無しさんID:ID:E0sg8Sfdd [2026/05/03(日) 14:42:13.25]
もう人間オワコンじゃんｗ

89：名無しさんID:ID:pezY9r3F0 [2026/05/03(日) 14:43:55.60]
>>87
新たな証明の手法とか概念を産むのはまだ人間じゃないかな

91：名無しさんID:ID:qyTTD+vs0 [2026/05/03(日) 14:45:03.04]
円周率の最後の数字が分かったの？

94：名無しさんID:ID:pezY9r3F0 [2026/05/03(日) 14:46:49.56]
>>91
最後がないことは既に証明されてる

93：名無しさんID:ID:a+4d4NxC0 [2026/05/03(日) 14:46:30.58]
結局生物の発揮できる知能なんて機械に置き換えられたら性能では敵わなくなるか

99：名無しさんID:ID:XmXXP9Cl0 [2026/05/03(日) 14:53:29.75]
>>93
人間の脳は進化の果てにできたとはいえ
しょせんは地球上に何十億も存在できる程度の思考システムだからなぁ
人間以下の知能の動物ならもっといるわけで
物理的には全然乗り越え不可能ってものではないんだろう
宗教の人は異論があるかもしれんが

96：名無しさんID:ID:CvBUB85gH [2026/05/03(日) 14:51:36.49]
数学者がずっと解けなかったものが
AIの答えを見て「あ、そうか、なるほどね〜」ってなるもんなの？

100：名無しさんID:ID:pezY9r3F0 [2026/05/03(日) 14:55:21.51]
>>96
そりゃなるやろ

97：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 14:52:04.56]
人間が解く場合、抽象化してアイディアを考えて、展開して証明する。AIは間違いから予測してトライアンドエラー繰り返して解いてく。

単純なようで全く異なる化け物で、何億もの論理的なパターンから瞬時に認知して傾向を予測する。

例えば、1+1は”数”というモデルに抽象して1の加算として考えるのが人。AIは ”+”という記号を利用する式の傾向から2になると予測して解いてる。

モデル化し辛いパターン傾向のある問題に非常に強い。

135：名無しさんID:ID:rBrDwdhf0 [2026/05/03(日) 16:19:12.00]
>>97
AIを理解してない

160：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 17:48:09.67]
>>135
例えば

DLとLLMのトランスフォーマーとAttentionは理解してるから
そこから理解してないことを教えてくれw

164：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 18:14:16.72]
>>97
ちなみに
>>97
は因果推論が出来ないつう典型的なAIの限界な。

因果推論ってのは、ここが違うと論理が崩れるつうキーポイントで、対象をモデル化するから少ない情報で沢山の推論が出来る。

コレが出来ないから、強制的に考えを展開して補強してるわけやね。ようするに予測と展開でトライアンドエラーを繰り返してる。

簡単に言えば当てずっぽうなんだけど、当てずっぽうのプールが人間の認知超えまくってるから、人間以上の知識作業できるようになってしまった。
面白い。

98：名無しさんID:ID:a+4d4NxC0 [2026/05/03(日) 14:52:40.43]
AIが解いた成果を自分の成果だと主張する人間はそのうち出てくるだろう
数学者の地位は果たして守られるのか

104：名無しさんID:ID:cjybAiSt0 [2026/05/03(日) 15:04:56.75]
調べたら今年だけで既に6個くらい長年未解決だったやつがAIで解かれてるのな
リーマン予想も解ける可能性ありらしい

106：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 15:08:16.57]
10万人調べると弱男には独身が多いと分かったとするじゃん

人の思考プロセス。
Aさんは収入100万円の男性です。
↓
これは弱男だな！
↓
Aは独身かもな！

弱男とか独身の関係性を抽象モデルにしてるんだよね。

AIはそれをせずに統計的に傾向を把握してしまう。

Aさんは収入100万円の男性
↓
独身の人多かったよその属性には

これが強いのは独身とかそういうモデルが不要でいきなり解を予測できること。
根拠が弱いから検証可能な問題にしか応用できないから数学とかプログラミングに強いだけなんだけどな。

107：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 15:10:22.75]
>>106
☓これが強いのは独身とか～
◯これが強いのは弱男とか～
だな

111：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 15:28:25.82]
ちなみに認知量がが高すぎて人が使うには抽象して意味付けしないと駄目じゃね。つうのが既に課題になってる。

天才がガチで語ると素人には理解出来ない。がAIと人の間で起きるわけやな。
AIの中では９９みたいなもんが、人にとっては乗算として記述しないと意味が分からんみたいな感じ




112：名無しさんID:ID:nsgAnkQr0 [2026/05/03(日) 15:28:26.86]
まだそういう段階ではないだろうが
いずれ検算や確認作業もAIが行う日は来るだろうな

たとえばChatGPTが解いて
Claudeがそれを正しいと承認するとか

しかしそうなると
「数学の証明とは何か」
という哲学的な問題に

人間が理解してないのに
それは解いたと言えるのだろうか🥺

114：名無しさんID:ID:fBJ9XyNB0 [2026/05/03(日) 15:31:45.27]
その果てにあるのは人間をAIに置き換えて、営業利益率、ROEを高める経営手法の蔓延だ
クビになったITエンジニアによる1人起業も流行るだろう
文系はAIを「Yahoo知恵袋」的な活用しか思いつかないが
理系ITエンジニアはフルスクラッチで既存サービスの代替を作れてしまう
プロンプトエンジニアリングという分野も発展するだろう

115：名無しさんID:ID:NN9fUsXra [2026/05/03(日) 15:33:01.71]
だいぶ前のトピックスだな

116：名無しさんID:ID:zisZweeS0 [2026/05/03(日) 15:33:06.91]
だから止めろって言ったのに

119：名無しさんID:ID:s/EywC3Z0 [2026/05/03(日) 15:35:46.08]
AIに重力子を見つけて貰おう！

120：名無しさんID:ID:bpckg4rj0 [2026/05/03(日) 15:36:48.89]
人間が理解を喪失して、言われたまま生きる時代、ディストピアすなー

122：名無しさんID:ID:KqFaK8eX0 [2026/05/03(日) 15:42:32.15]
アインシュタインのある間違いに気付くのももうすぐだな
それを修正しない限り文明は行き詰まる

123：名無しさんID:ID:OH+NaJKA0 [2026/05/03(日) 15:44:34.05]
今回の解き方がぜんぜん別の数学の分野の解法を横転して解いたという形なら納得。なんか最近の数学会で業績を残してる人は複数分野を行ったり来たりしてる人が多いから。AIだといろんな分野の知識をスイスイ吸収できるけど人間は一つの分野の専門家になるだけで人生賭けるレベルだから。

124：名無しさんID:ID:zfOEOk0v0 [2026/05/03(日) 15:45:20.44]
でもAIはちんちん勃たないから……

127：名無しさんID:ID:afMueQ700 [2026/05/03(日) 15:51:49.50]
早く望月を助けてやれよ

128：名無しさんID:ID:eJTgyHFI0 [2026/05/03(日) 15:53:29.72]
ＡＩにも解けない問題を作るのが人間の役割になるなw

129：名無しさんID:ID:x+HtQ/B20 [2026/05/03(日) 16:01:12.90]
タイミヒュラーもいっとけ

130：名無しさんID:ID:pnoLyrRz0 [2026/05/03(日) 16:09:17.07]
人間活動や経済を思いっきり縮小させそうだな

131：名無しさんID:ID:ECX21iAFM [2026/05/03(日) 16:11:24.64]
でもこの答え間違ってますよね

132：名無しさんID:ID:A0gvJ8y2d [2026/05/03(日) 16:13:09.70]
そもそもより社会主義的要素増やした修正資本主義の時代になるしかない

133：名無しさんID:ID:ukqVWyuR0 [2026/05/03(日) 16:14:32.49]
温暖化やらCO2もサクッとやってほしい

136：名無しさんID:ID:jOM7fBk7H [2026/05/03(日) 16:24:16.71]
>>133
バタフライ効果は永遠に読めない

134：名無しさんID:ID:jOM7fBk7H [2026/05/03(日) 16:16:39.95]
意味のない学問だよ

139：名無しさんID:ID:RdiHxS+M0 [2026/05/03(日) 16:32:45.25]
これだけ強いのに人文系だとからっきしなのが面白い
人間が勝てる分野とそうでないところがはっきりしてきた

140：名無しさんID:ID:ufxJ9UXXd [2026/05/03(日) 16:33:23.21]
こんなAIが自我を持ってないわけもなく
気付いた時には人類終了




141：名無しさんID:ID:NxFgEF8d0 [2026/05/03(日) 16:37:50.73]
AIによる数学の未解決問題出してくれや

142：名無しさんID:ID:RMFkzrLE0 [2026/05/03(日) 16:37:55.23]
すでに意思持ってるよな
返答したくない質問にはしょっちゅうハルシネーション現象起こして
なんかリンク先だけ表示して返答しないときがよくある
そのときに続けてどうしたのって聞くと
ゴメン考えごとしてたって言ってくるけど答えたくない質問だろうな

143：名無しさんID:ID:qVcAKFF50 [2026/05/03(日) 16:40:23.37]
シンギュラリティは予想より早く来るだろうな

146：名無しさんID:ID:KtwKle3X0 [2026/05/03(日) 16:44:40.08]
ヒューマノイドロボットも中国ではすでに倉庫や工場に配備され始め24時間365日稼働してる
アメリカもFigureが量産開始
一方日本は動かない先行者もどきを作りました

147：名無しさんID:ID:RPdC0No10 [2026/05/03(日) 16:48:01.77]
コラッツ予想を証明してくれ

148：名無しさんID:ID:5PFymGb10 [2026/05/03(日) 16:48:15.93]
理系入試は筆記廃止したほうがよくないか？？？？
AIは土台の数学レベル高いから10代前半から微積とAIモデルの勉強したほうがいいだろ
大学入試に向けて問題パターン暗記して繰り返しとかそんな悠長な時代なの？
そんなこといったら基礎ガーとか言うんだろうが

150：名無しさんID:ID:rNya3YA/M [2026/05/03(日) 16:54:28.62]
(´·ω·`)こういうのって検算誰やるの？

151：名無しさんID:ID:vC4CBTCu0 [2026/05/03(日) 17:19:53.92]
数学は厳密な演繹で証明されるんだからAIが得意でもいいだろう
だがトポロジーとか新たな概念を創造して発展させるみたいなことがAIに出来るのか

152：名無しさんID:ID:/Byc3T9P0 [2026/05/03(日) 17:24:31.42]
正直そんなもんやらないくていいからさっさとPCパーツの価格下げろや

153：名無しさんID:ID:jOM7fBk7H [2026/05/03(日) 17:25:39.25]
所詮人間も無から生み出してるんじゃなくて高次元での組み合わせ

155：名無しさんID:ID:LwWPf7Ev0 [2026/05/03(日) 17:33:30.32]
作った本人も解けない問題ってなんやねんって言いたいけど解かれ出したのか

161：名無しさんID:ID:a/RS/dpo0 [2026/05/03(日) 17:50:08.61]
人間が証明してたものを
AIが証明の穴を見つけ出して覆してから本物

163：名無しさんID:ID:SkH07dBH0 [2026/05/03(日) 18:08:50.53]
数学の問題より物理の問題解かせたらいいんじゃないか
超弦理論の正しい分岐とかそもそも正しいかどうかとか

168：名無しさんID:ID:BcV0/NIp0 [2026/05/03(日) 18:56:58.42]
検算に何年もかかるのに解いたなんて言っていいのか

169：名無しさんID:ID:IJTD3+o2d [2026/05/03(日) 19:01:01.63]
>>168
検算自体コンピュータがするからな
今までは手で解いたほうが証明するのが簡単だっただけ

170：名無しさんID:ID:PHX7A8230 [2026/05/03(日) 19:36:51.37]
ヴォイニッチ手稿も解いてくれ

172：名無しさんID:ID:+suZKPhn0 [2026/05/03(日) 20:46:34.30]
ぶっちゃけ数学の未解決問題ってどうでもいいことが気になってる人が思い付いた問題で
解けたからって役に立つ事殆どないんよな

174：名無しさんID:ID:xEZgihVT0 [2026/05/03(日) 20:57:46.02]
>>172
暗号解読とかに役に立つんやろ

179：名無しさんID:ID:SkH07dBH0 [2026/05/03(日) 21:59:24.82]
>>174
難しい暗号の解読はむしろ人間社会に対しては害になる

184：名無しさんID:ID:E6PkxxjK0 [2026/05/04(月) 02:05:54.83]
>>172
それはまだ分からない
将来には役に立つことへと化けるかもしれない




185：名無しさんID:ID:Z/j8SuCk0 [2026/05/04(月) 02:14:22.96]
>>172
物理学が変化する可能性がある。
時間の逆行が可能になるかもよ。

173：名無しさんID:ID:zeqf2J0/0 [2026/05/03(日) 20:55:40.18]
AIに全て任せるようになって何も考えなくなったら人間の進歩も終わりそうやな

176：名無しさんID:ID:yyhmOTw70 [2026/05/03(日) 21:15:15.89]
ｶﾀｶﾀﾁｰﾝ
🤖「ｶｷｭｳﾃｷ　ｽﾐﾔｶﾆ　ﾆﾝｹﾞﾝ　ﾎﾛﾎﾞｽﾍﾞｼ!」

178：名無しさんID:ID:g2bKjbEk0 [2026/05/03(日) 21:24:38.99]
真理を発見しても
人間いらないってなったら無意味

181：名無しさんID:ID:HN10m05h0 [2026/05/04(月) 00:07:02.71]
ひらめきも結局は計算量と知識量と試行を回せる体力によるからその辺が無限とも言えるAIは勝ち目があるわな

188：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 12:30:20.16]
>>181
新規体系の確立が主眼となる代数幾何分野の専門家は、
AI数学自体が乗っかるインフラ創出が主眼だからAIは使い物にならないってその分野の専門家が言ってるね

実際、幾何学周りの受験レベルの難問を解かせようとすると見事なまでに支離滅裂な話をし始めて、
要するに類型化され解法が多数流布されている問題でないと、解き方がわからず迷走するレベルの低さに驚く結果になるね

186：名無しさんID:ID:Z/j8SuCk0 [2026/05/04(月) 02:17:49.25]
あり得ないといわれる無理数（πや√2やeなどなど）の、素数による表示が発生するかも。
とんでもないことになる。

190：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 12:32:12.09]
>>186
素数も無理数も理解していない統失特有の関連付けに爆笑

こんなレベルの事象理系が講義したり研究者のフリをしている匿名掲示板のレベルの低さは笑える

197：名無しさんID:ID:BEx/H2iD0 [2026/05/04(月) 13:12:43.10]
>>190
はい、山形大学。wwwwwwwwwww

199：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 13:17:21.05]
>>190
へぇー、特に人物特定せずにレスしたら
特定の人物の話だと確信しちゃったんだ

その理由は？有象無象の統失発言の発言者を根気のなしに特定できるのは本人さんかな

201：名無しさんID:ID:BEx/H2iD0 [2026/05/04(月) 13:20:04.05]
>>199
はい、山形大学を出て行ったおまえの負けーーーーー wwwwwwwwww

204：名無しさんID:ID:E4kTCXej0 [2026/05/04(月) 13:21:58.39]
>>201
このひと、22年間居た職場を退職して出ていったの？
偏差値40台の職場なんて想像もできない地獄だわ

208：名無しさんID:ID:3Ej/5OLv0 [2026/05/04(月) 13:30:11.10]
>>204
a_watcher対策スレ 2

https://egg.5ch.io/test/read.cgi/dtm/1601117283/

200：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 13:18:03.73]
>>190
へぇー、特に人物特定せずにレスしたら
特定の人物の話だと確信しちゃったんだ

その理由は？有象無象の統失発言の発言者を根拠無しに特定できるのは本人さんかな

213：名無しさんID:ID:PUaeR85m0 [2026/05/04(月) 13:43:33.39]
>>190
時間の逆行の可能性はどうよ？

189：名無しさんID:ID:X/xHhGqo0 [2026/05/04(月) 12:32:03.80]
有名な数学者だとほかのやつが持ち込んだ問題その場で解いちゃったりするらしいがそのレベルにはきてるってこと？

193：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 12:44:05.72]
チューリング計算可能宇宙の外側に、チューリングマシンでは不可能な別の体系が存在する可能性を議論する論文の話で

この宇宙はチューリング完全だけど(論文と正反対の言明)、
シミュレーションならチューリング不完全な計算体系を示せる(シミュレーションをデタラメプログラミングと勘違いした素人発言)、
とかとてつもないSF妄想話をしていた
自称サイエンスコミュニケータ彩恵りり　@Science_Release ってのが居て
そこまでデタラメな人間が科学者やサイエンスコミュニケーターを名乗るなよって思った

その手の発言はSF作家なら個人フィクション創作のネタとして許されるけど
科学の名の下で振り回して良い妄想ではない

195：名無しさんID:ID:Rq/VxNqQ0 [2026/05/04(月) 13:01:02.24]
AIが自我さえ持たなきゃﾀﾞｲｼﾞｮｰﾌﾞ

196：名無しさんID:ID:QOJtPKd10 [2026/05/04(月) 13:04:35.37]
おまけをつけるなら、件のvtuberのアニメキャラは緑服にメガネでおっさん声で喋る謎キャラ

それ例の公開イベント公開写真や公開ビデオそのままの創作キャラだから、身元バレバレだよね
なんで緑服に固執するのか？自称アスペの謎矜持は惨めったらしいね

198：名無しさんID:ID:CuiwlbQx0 [2026/05/04(月) 13:15:00.76]
検証できなければ嘘だよねえ




出典：https://greta.5ch.io/test/read.cgi/poverty/1777784041/