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

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

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

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

なんで何度も立てるの？

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

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

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

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

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

証明とかできんのか

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>9
うわー、ありそう