Date: 2026年05月08日抽出レス数:41 画像数:3

1:はじめのつらたんニュースさん 2026/05/03(日) 22:36 ID:Yonl4l2t0● BE:633746646-2BP(2000)
2026年が明けてすぐに「人工知能(AI)が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。近年のAIの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。専門家は「2026年はAIが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。

https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226

引用元:https://hayabusa9.5ch.io/test/read.cgi/news/1777815417/
2:つらたんニュースさん 2026/05/03(日) 22:37 ID:iTIGFV6V0
リーマン予想はいまだ未解決
3:つらたんニュースさん 2026/05/03(日) 22:37 ID:AccY9/oa0
大卒の仕事はどんどんいらなくなる
5:つらたんニュースさん 2026/05/03(日) 22:39 ID:A5qBw7WN0
それが正しいのか調べる仕事が生まれるんだろ理系は情けない立ち位置に追い込まれてるな
11:つらたんニュースさん 2026/05/03(日) 22:41 ID:RHiHWWcO0
>>5

AIが正しいといっていますが承認しますか
->はい
 
いいえ

こんな仕事かな

8:つらたんニュースさん 2026/05/03(日) 22:39 ID:PMrGWUTH0
そんじゃ消えた年金もついでに頼むね
9:つらたんニュースさん 2026/05/03(日) 22:40 ID:0vV+yzkb0
ついに数学者も犠牲に
漠然とだが数学者と哲学者だけは大丈夫だと思っていた
10:つらたんニュースさん 2026/05/03(日) 22:40 ID:D4oWv+9m0
賞金付いてるやつはAIが解いてももらえるの?
12:つらたんニュースさん 2026/05/03(日) 22:42 ID:WhKdDwpj0
ええやん
AIには人間が苦手な分野だけやってもらって
AIには絶対無理なところだけ人間がやるようにしたらいい
所詮AIってのはその名の通り人間が作ったものなわけで
創造主たる人間様を超えることは不可能なんやからな
13:つらたんニュースさん 2026/05/03(日) 22:43 ID:aqfqn7L90
俺等にはユニバーサルメルカトルず法があるから
14:つらたんニュースさん 2026/05/03(日) 22:44 ID:TmxeBapY0
米国とイランの停戦案もAIに一任しろって
それしか方法ないだろ
16:つらたんニュースさん 2026/05/03(日) 22:45 ID:A5qBw7WN0
>>14

AIなんて開発元の思想に偏るからまともな答えなんて出さない

15:つらたんニュースさん 2026/05/03(日) 22:45 ID:7QrJsn3C0
自力で解いてもAIの手柄にされるんやろな
17:つらたんニュースさん 2026/05/03(日) 22:46 ID:7Ao/XpQ20
単純なプログラムの生成ですら結構ぬけがあるのに
こういう証明ってちゃんとできてるんだろうか?
67:つらたんニュースさん 2026/05/04(月) 00:13 ID:LeBegDLH0
>>17

検証用のプログラムがある

18:つらたんニュースさん 2026/05/03(日) 22:47 ID:yDVTROWw0
abc予想
19:つらたんニュースさん 2026/05/03(日) 22:48 ID:lF2HPK370
未解決事件じゃなかった。。。
21:つらたんニュースさん 2026/05/03(日) 22:49 ID:vv5CJiUW0
その証明を人が理解できるうちはまだ良い
人に理解ができない証明をし始めた時が終わりの始まり
24:つらたんニュースさん 2026/05/03(日) 22:52 ID:sc90i9jf0
総当りで全部調べればわかるけどマシンパワー的に無理だったことを
現実的な時間で解を求められるようになったってことかな
まあ医療系に全パワーを突っ込んでほしい気もする
26:つらたんニュースさん 2026/05/03(日) 22:53 ID:UFR7j4CY0
さっさと内容は小学生でもわかるゴールドバッハ解いてくれ
28:つらたんニュースさん 2026/05/03(日) 22:56 ID:u3/tjOuy0
29:つらたんニュースさん 2026/05/03(日) 22:58 ID:u3/tjOuy0
>>28

どうしても32㎠が正しいと言い張るAI

34:つらたんニュースさん 2026/05/03(日) 23:06 ID:bAAgSbEi0
ババーンキャー
35:つらたんニュースさん 2026/05/03(日) 23:06 ID:QE02c4Em0
理系に限らずaiを使うということは正しさを確認する作業でしか無いがな
37:つらたんニュースさん 2026/05/03(日) 23:12 ID:I+lDFCUS0
どうせ、総当たり系の証明()やろw
38:つらたんニュースさん 2026/05/03(日) 23:12 ID:tKcdzHHO0
「中点連結定理を無限に繰り返すと三角形の2辺の和は他の1辺に一致する」を解いて欲しいです。
「点に大きさは無く線に太さは無い」という詭弁は無しでお願いします。
86:つらたんニュースさん 2026/05/04(月) 00:50 ID:1Dj0Vhp50
>>38

中点連結定理とは全く関係ない
1辺<2辺の和
これをどんなに細かく分けても同じ関係が続くだけ

39:つらたんニュースさん 2026/05/03(日) 23:15 ID:fFop0PkE0
へー
よかったなあ
42:つらたんニュースさん 2026/05/03(日) 23:23 ID:z4PLyLHM0
オレの未解決宿題も頼むわ
46:つらたんニュースさん 2026/05/03(日) 23:30 ID:3ioSVhMJ0
AIが相対性理論の欠陥を明確に指摘する世界
48:つらたんニュースさん 2026/05/03(日) 23:31 ID:kAtuZEUs0
AIの方が優れた領域はなんぼでもあるわな
49:つらたんニュースさん 2026/05/03(日) 23:33 ID:8a3wgqDV0
AIじゃなくてもコンピュータ使って研究するのは普通のジャンルだから
シミュレーションで総当りとか
それでも上手くいかないし
51:つらたんニュースさん 2026/05/03(日) 23:35 ID:RHiHWWcO0
最近とけた難問も本流じゃない研究してた人がといたりしてただろ
AIは数学、物理、化学あらゆる専門分野について知識としてはもってるのだから
それらを結合して解けるみたいな問題は組み合わせて解けたりするんじゃないのかな
52:つらたんニュースさん 2026/05/03(日) 23:37 ID:ojXl0KYP0
これAIに読ませたら解くんか?
53:つらたんニュースさん 2026/05/03(日) 23:39 ID:75ev3YGT0
>>52

ぴよ将棋に盤面入力して詰みチェックしろ

58:つらたんニュースさん 2026/05/03(日) 23:48 ID:sc90i9jf0
うちの有料Geminiさんに答えさせたら余裕で間違えてて
以下にお前の答えがおかしいかをコンコンと詰めて図も交えて説明したけど
結局正答にはたどり着けなかった
AIも所詮はこんなもんかって思った
59:つらたんニュースさん 2026/05/03(日) 23:49 ID:epaBx3CQ0
国語科教師最強
61:つらたんニュースさん 2026/05/03(日) 23:55 ID:UFR7j4CY0
数学はまず問題が何かを考えるのが難しいからな
AIが自身で問題を思いついたら本当にすごい
63:つらたんニュースさん 2026/05/04(月) 00:00 ID:2kEL5WJB0
解くのは簡単なんだよ
証明すんのが大変で
さらに検証するのがもっと大変なんだ
64:つらたんニュースさん 2026/05/04(月) 00:04 ID:d+tjtL0Q0
>>63

証明したってかいてんだが

55:つらたんニュースさん 2026/05/03(日) 23:41 ID:toUo13Jl0
もうシンギュラリティが来たのか
«
»