数学の未解決問題って10年後にはAIが全部解決してそうだよな
■ このスレッドは過去ログ倉庫に格納されています
1以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:02:14.455ID:B6E7Z8M10 数学とかAIが一番得意そう
2以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:02:33.505ID:MWwTb6Xq0 なんで何度も立てるの？
3以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:02:46.327ID:iwMc94Y3M 今日だけで3回位立ててたけどずっと無視されてるね
4以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:02:47.436ID:ag4f1gLB0 そんなもんにリソース使うなよ
5以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:02:54.178ID:NIyuZ5y00 証明とかできんのか
6以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:03:10.717ID:M1h9CHeXa でも人間が解釈するのにさらに10年かかりそう
7以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:03:46.074ID:B6E7Z8M108以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:04:01.260ID:48Yx4pPT0 将来はわからんけど今のAIは凡人が時間をかければできる問題に強い
2023/04/16(日) 23:04:06.668ID:/7surhdF0
証明しても人類が理解できなそう
10以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:04:15.273ID:MWwTb6Xq0 なんで何度も立てるのかを知りたいだけだよ
なんで何度も立てるの？
なんで何度も立てるの？
11以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:04:22.087ID:B6E7Z8M10 >>4
数学は重要だろぉ！？
数学は重要だろぉ！？
12以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:04:23.310ID:v523N1Jk0 >>7
あるぞ次から気をつけろよ
あるぞ次から気をつけろよ
13以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:04:45.762ID:B6E7Z8M10 >>5
パターンを覚え込ませればできるだろ
パターンを覚え込ませればできるだろ
14以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:05:05.341ID:B6E7Z8M10 >>6
解釈もAIに聞けば大丈夫
解釈もAIに聞けば大丈夫
15以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:05:14.534ID:8d7liYbE0 量子コンピュータが何とかしてくれる
16以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:05:15.134ID:SRRW0GNh0 >>11
今で未解決なんだから重要じゃないよ
今で未解決なんだから重要じゃないよ
17以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:05:43.771ID:B6E7Z8M10 >>9
AIに教えてもらえば大丈夫
AIに教えてもらえば大丈夫
2023/04/16(日) 23:05:51.251ID:Qyyfi7jF0
ポアンカレ予想みたいに別領域からのアイデアで証明するみたいな事はAI苦手そうなんだよなあ
19以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:06:38.218ID:BEwKBh3U0 因数分解が出来ないという致命的弱点
20以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:06:47.565ID:B6E7Z8M10 >>18
全領域から総当りすればどれかヒットするだろ
全領域から総当りすればどれかヒットするだろ
21以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:07:11.905ID:B6E7Z8M10 >>19
人間にもできないから大丈夫
人間にもできないから大丈夫
22以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:08:08.490ID:lFoQHBAia 代数学関連なら強そう
そもそもディオファントスやフワリーズミーや
オイラーなくしてのAIは成り立たない
そもそもディオファントスやフワリーズミーや
オイラーなくしてのAIは成り立たない
2023/04/16(日) 23:10:16.342ID:J/ZWji2o0
むしろ数学の未解決問題とかAIが苦手とする分野だぞ
24以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:19:49.867ID:U0bihtc9r 手法が変わればわからないけど
現状のをいくら強化しても数学の未解決領域は無理だろ
現状のをいくら強化しても数学の未解決領域は無理だろ
25以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:22:53.830ID:oR1zu46D0 でも明日の天気も当てられないんでしょ？
26以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:23:21.547ID:M1h9CHeXa >>20
これどういうこと？
これどういうこと？
27以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:25:55.378ID:bQ6oRunM0 今のAIは創造的な仕事を何もしてない
単純にネットに出てる物をまとめてるだけでそれでは数学は解けない
単純にネットに出てる物をまとめてるだけでそれでは数学は解けない
28以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:27:39.114ID:bQ6oRunM0 chatGPTに５桁くらいの引き算をさせてみるとわかるけど
人類が一度も解いたことない引き算とか解けないからｗ
人類が一度も解いたことない引き算とか解けないからｗ
29以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:30:03.311ID:6jYrwAVe0 過去のビッグデータから中央値を出すことは出来ても論理的解法はまだ無理でしょ。
30以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:33:25.766ID:5UKIAtT6M 言語の意味的な連鎖が論理的な思考回路を内包してるのはあると思うよ
現状のLLMにおけるCoTなんかまさにそれでしょ
まあそれが新規の発見を為し得るかどうかはわからんけど
現状のLLMにおけるCoTなんかまさにそれでしょ
まあそれが新規の発見を為し得るかどうかはわからんけど
31以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:49:54.183ID:MaWOp83Y0 数年前にAI利用して新たな定理発見とかはあったな
32以下、5ちゃんねるからVIPがお送りします
2023/04/16(日) 23:51:22.501ID:soaHESzB0 >>9
うわー、ありそう
うわー、ありそう
■ このスレッドは過去ログ倉庫に格納されています
