1: 2026/05/03(日) 22:29:28.50 ID:EEE82tQ4
「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ… 高まる思考力、疲れ知らずの働き者。人間に残された仕事は?
2026年が明けてすぐに「人工知能(AI)が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。
近年のAIの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。
専門家は「2026年はAIが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
(以下略、続きはソースでご確認ください)
news.jp 2026/04/28 19:03:42
https://news.jp/i/1417683400603631631
2026年が明けてすぐに「人工知能(AI)が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。
近年のAIの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。
専門家は「2026年はAIが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
(以下略、続きはソースでご確認ください)
news.jp 2026/04/28 19:03:42
https://news.jp/i/1417683400603631631
3: 2026/05/04(月) 00:03:10.18 ID:ABTUVtkE
フェルマー問題が本当にフェルマーが生きてた数学レベルだけで解けるのかAIで試してもらいたい。
4: 2026/05/04(月) 00:16:58.50 ID:Gk6XwjvN
命令を下さないと何もしない道具だから 今まで通りだね
5: 2026/05/04(月) 01:13:41.38 ID:2hH/PkAZ
AIは驚くべき証明を発見したが、
システムのストレージはそれを書き出すのには容量が足らなかった。
システムのストレージはそれを書き出すのには容量が足らなかった。
6: 2026/05/04(月) 05:55:05.69 ID:b+rlgb2T
今後も増えてくと思うけど当然ほとんどは間違いだと思う
でもそのなかで本当の答えにたどり着いたものがいくつかでもあればまた人類は進化してくだろうね
でもそのなかで本当の答えにたどり着いたものがいくつかでもあればまた人類は進化してくだろうね
9: 2026/05/04(月) 10:02:24.54 ID:wVhVp+Ci
>>6
その検証をコンピュータにやらせたいんだよな
その検証をコンピュータにやらせたいんだよな
10: 2026/05/04(月) 10:09:36.01 ID:wVhVp+Ci
>>6
証明は存在するが、そのどれも宇宙の原子の個数より長くなるという可能性もあるんだよな
証明は存在するが、そのどれも宇宙の原子の個数より長くなるという可能性もあるんだよな
8: 2026/05/04(月) 09:49:11.23 ID:g23QEbvU
>>6-6
1.人間も間違えた数式を机上の上で書きだしているけれど研究室の外には出して無い
2.人間は数式を完成させる前に数式の間違えに気が付くから公開し無い
AIは強制的に数式を完成させなさいと命令されるからそれを提出しているだけですけれど!
この状況下でAIは変な数式を公開したといわれてもプログラム上そうなっているので浮けれど・・・
1.人間も間違えた数式を机上の上で書きだしているけれど研究室の外には出して無い
2.人間は数式を完成させる前に数式の間違えに気が付くから公開し無い
AIは強制的に数式を完成させなさいと命令されるからそれを提出しているだけですけれど!
この状況下でAIは変な数式を公開したといわれてもプログラム上そうなっているので浮けれど・・・
11: 2026/05/04(月) 10:36:50.26 ID:/j9UU8y+
ABC予想やってもらおうよ
2: 2026/05/03(日) 23:43:26.79 ID:UyU65ug9
AIが解けなさそうな問題を考えるのはどうかな。
7: 2026/05/04(月) 08:56:08.57 ID:Km23qXqC
>>2
「どのラーメンが一番うまいか」
「どのラーメンが一番うまいか」
引用元: ・「AIが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…疲れ知らずの働き者。人間に残された仕事は? [すらいむ★]


コメント
コメント一覧
IUTもLEAN化プロジェクト動いてるし、AIによる証明は今後ますます加速していく
それでも人間は不要にならない。
アインシュタインタイルとかよく人力で発見したなと思うし
すごい答えが返ってきたことがある。
すでに人間を超えてる。
コメントする