数学の未解決問題って10年後にはAIが全部解決してそうだよな

[1 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:02:14.455 ID:B6E7Z8M10]

数学とかAIが一番得意そう

[2 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:02:33.505 ID:MWwTb6Xq0]

なんで何度も立てるの？

[3 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:02:46.327 ID:iwMc94Y3M]

今日だけで3回位立ててたけどずっと無視されてるね

[4 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:02:47.436 ID:ag4f1gLB0]

そんなもんにリソース使うなよ

[5 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:02:54.178 ID:NIyuZ5y00]

証明とかできんのか

[6 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:03:10.717 ID:M1h9CHeXa]

でも人間が解釈するのにさらに10年かかりそう

[7 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:03:46.074 ID:B6E7Z8M10]

>>2
スレ立ての回数に制限があるのか？
あほ

[8 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:04:01.260 ID:48Yx4pPT0]

将来はわからんけど今のAIは凡人が時間をかければできる問題に強い

[9 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:04:06.668 ID:/7surhdF0]

証明しても人類が理解できなそう

[10 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:04:15.273 ID:MWwTb6Xq0]

なんで何度も立てるのかを知りたいだけだよ
なんで何度も立てるの？

[11 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:04:22.087 ID:B6E7Z8M10]

>>4
数学は重要だろぉ！？

[12 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:04:23.310 ID:v523N1Jk0]

>>7
あるぞ次から気をつけろよ

[13 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:04:45.762 ID:B6E7Z8M10]

>>5
パターンを覚え込ませればできるだろ

[14 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:05:05.341 ID:B6E7Z8M10]

>>6
解釈もAIに聞けば大丈夫

[15 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:05:14.534 ID:8d7liYbE0]

量子コンピュータが何とかしてくれる

[16 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:05:15.134 ID:SRRW0GNh0]

>>11
今で未解決なんだから重要じゃないよ

[17 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:05:43.771 ID:B6E7Z8M10]

>>9
AIに教えてもらえば大丈夫

[18 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:05:51.251 ID:Qyyfi7jF0]

ポアンカレ予想みたいに別領域からのアイデアで証明するみたいな事はAI苦手そうなんだよなあ

[19 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:06:38.218 ID:BEwKBh3U0]

因数分解が出来ないという致命的弱点

[20 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:06:47.565 ID:B6E7Z8M10]

>>18
全領域から総当りすればどれかヒットするだろ

[21 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:07:11.905 ID:B6E7Z8M10]

>>19
人間にもできないから大丈夫

[22 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:08:08.490 ID:lFoQHBAia]

代数学関連なら強そう
そもそもディオファントスやフワリーズミーや
オイラーなくしてのAIは成り立たない

[23 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:10:16.342 ID:J/ZWji2o0]

むしろ数学の未解決問題とかAIが苦手とする分野だぞ

[24 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:19:49.867 ID:U0bihtc9r]

手法が変わればわからないけど
現状のをいくら強化しても数学の未解決領域は無理だろ

[25 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:22:53.830 ID:oR1zu46D0]

でも明日の天気も当てられないんでしょ？

[26 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:23:21.547 ID:M1h9CHeXa]

>>20
これどういうこと？

[27 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:25:55.378 ID:bQ6oRunM0]

今のAIは創造的な仕事を何もしてない
単純にネットに出てる物をまとめてるだけでそれでは数学は解けない

[28 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:27:39.114 ID:bQ6oRunM0]

chatGPTに５桁くらいの引き算をさせてみるとわかるけど
人類が一度も解いたことない引き算とか解けないからｗ

[29 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:30:03.311 ID:6jYrwAVe0]

過去のビッグデータから中央値を出すことは出来ても論理的解法はまだ無理でしょ。

[30 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:33:25.766 ID:5UKIAtT6M]

言語の意味的な連鎖が論理的な思考回路を内包してるのはあると思うよ
現状のLLMにおけるCoTなんかまさにそれでしょ
まあそれが新規の発見を為し得るかどうかはわからんけど

[31 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:49:54.183 ID:MaWOp83Y0]

数年前にAI利用して新たな定理発見とかはあったな

[32 以下、5ちゃんねるからVIPがお送りします 2023/04/16(日) 23:51:22.501 ID:soaHESzB0]

>>9
うわー、ありそう