1: 稼げる名無しさん 2023/04/16(日) 23:02:14.45 ID:B6E7Z8M10.net
数学とかAIが一番得意そう
4: 稼げる名無しさん 2023/04/16(日) 23:02:47.43 ID:ag4f1gLB0.net
そんなもんにリソース使うなよ
11: 稼げる名無しさん 2023/04/16(日) 23:04:22.08 ID:B6E7Z8M10.net
>>4
数学は重要だろぉ!?
数学は重要だろぉ!?
16: 稼げる名無しさん 2023/04/16(日) 23:05:15.13 ID:SRRW0GNh0.net
>>11
今で未解決なんだから重要じゃないよ
今で未解決なんだから重要じゃないよ
5: 稼げる名無しさん 2023/04/16(日) 23:02:54.17 ID:NIyuZ5y00.net
証明とかできんのか
1001: 以下名無しさんに代わりまして管理人がお伝えします 1848/01/24(?)00:00:00 ID:money_soku
個人的にはブラックホールに関して矛盾しない答えを出してほしいなと思うけれど、AIの仕組みを考えるに発想系は難しそうな予感がするお。

宇宙が好きな方にはとても面白いと思うお
1001: 以下名無しさんに代わりまして管理人がお伝えします 1848/01/24(?)00:00:00 ID:money_soku
現在よく読まれているニュース!:
以下2chの反応と管理人の反応です
13: 稼げる名無しさん 2023/04/16(日) 23:04:45.76 ID:B6E7Z8M10.net
>>5
パターンを覚え込ませればできるだろ
パターンを覚え込ませればできるだろ
6: 稼げる名無しさん 2023/04/16(日) 23:03:10.71 ID:M1h9CHeXa.net
でも人間が解釈するのにさらに10年かかりそう
14: 稼げる名無しさん 2023/04/16(日) 23:05:05.34 ID:B6E7Z8M10.net
>>6
解釈もAIに聞けば大丈夫
解釈もAIに聞けば大丈夫
8: 稼げる名無しさん 2023/04/16(日) 23:04:01.26 ID:48Yx4pPT0.net
将来はわからんけど今のAIは凡人が時間をかければできる問題に強い
9: 稼げる名無しさん 2023/04/16(日) 23:04:06.66 ID:/7surhdF0.net
証明しても人類が理解できなそう
17: 稼げる名無しさん 2023/04/16(日) 23:05:43.77 ID:B6E7Z8M10.net
>>9
AIに教えてもらえば大丈夫
AIに教えてもらえば大丈夫
32: 稼げる名無しさん 2023/04/16(日) 23:51:22.50 ID:soaHESzB0.net
>>9
うわー、ありそう
うわー、ありそう
10: 稼げる名無しさん 2023/04/16(日) 23:04:15.27 ID:MWwTb6Xq0.net
なんで何度も立てるのかを知りたいだけだよ
なんで何度も立てるの?
なんで何度も立てるの?
15: 稼げる名無しさん 2023/04/16(日) 23:05:14.53 ID:8d7liYbE0.net
量子コンピュータが何とかしてくれる
18: 稼げる名無しさん 2023/04/16(日) 23:05:51.25 ID:Qyyfi7jF0.net
ポアンカレ予想みたいに別領域からのアイデアで証明するみたいな事はAI苦手そうなんだよなあ
20: 稼げる名無しさん 2023/04/16(日) 23:06:47.56 ID:B6E7Z8M10.net
>>18
全領域から総当りすればどれかヒットするだろ
全領域から総当りすればどれかヒットするだろ
26: 稼げる名無しさん 2023/04/16(日) 23:23:21.54 ID:M1h9CHeXa.net
>>20
これどういうこと?
これどういうこと?
19: 稼げる名無しさん 2023/04/16(日) 23:06:38.21 ID:BEwKBh3U0.net
因数分解が出来ないという致命的弱点
21: 稼げる名無しさん 2023/04/16(日) 23:07:11.90 ID:B6E7Z8M10.net
>>19
人間にもできないから大丈夫
人間にもできないから大丈夫
22: 稼げる名無しさん 2023/04/16(日) 23:08:08.49 ID:lFoQHBAia.net
代数学関連なら強そう
そもそもディオファントスやフワリーズミーや
オイラーなくしてのAIは成り立たない
そもそもディオファントスやフワリーズミーや
オイラーなくしてのAIは成り立たない
23: 稼げる名無しさん 2023/04/16(日) 23:10:16.34 ID:J/ZWji2o0.net
むしろ数学の未解決問題とかAIが苦手とする分野だぞ
24: 稼げる名無しさん 2023/04/16(日) 23:19:49.86 ID:U0bihtc9r.net
手法が変わればわからないけど
現状のをいくら強化しても数学の未解決領域は無理だろ
現状のをいくら強化しても数学の未解決領域は無理だろ
25: 稼げる名無しさん 2023/04/16(日) 23:22:53.83 ID:oR1zu46D0.net
でも明日の天気も当てられないんでしょ?
27: 稼げる名無しさん 2023/04/16(日) 23:25:55.37 ID:bQ6oRunM0.net
今のAIは創造的な仕事を何もしてない
単純にネットに出てる物をまとめてるだけでそれでは数学は解けない
単純にネットに出てる物をまとめてるだけでそれでは数学は解けない
28: 稼げる名無しさん 2023/04/16(日) 23:27:39.11 ID:bQ6oRunM0.net
chatGPTに5桁くらいの引き算をさせてみるとわかるけど
人類が一度も解いたことない引き算とか解けないからw
人類が一度も解いたことない引き算とか解けないからw
29: 稼げる名無しさん 2023/04/16(日) 23:30:03.31 ID:6jYrwAVe0.net
過去のビッグデータから中央値を出すことは出来ても論理的解法はまだ無理でしょ。
30: 稼げる名無しさん 2023/04/16(日) 23:33:25.76 ID:5UKIAtT6M.net
言語の意味的な連鎖が論理的な思考回路を内包してるのはあると思うよ
現状のLLMにおけるCoTなんかまさにそれでしょ
まあそれが新規の発見を為し得るかどうかはわからんけど
現状のLLMにおけるCoTなんかまさにそれでしょ
まあそれが新規の発見を為し得るかどうかはわからんけど
31: 稼げる名無しさん 2023/04/16(日) 23:49:54.18 ID:MaWOp83Y0.net
数年前にAI利用して新たな定理発見とかはあったな
1001: 以下名無しさんに代わりまして管理人がお伝えします 1848/01/24(?)00:00:00 ID:money_soku
現在よく読まれている記事:
https://mi.5ch.net/test/read.cgi/news4vip/1681653734/


コメント
コメント一覧 (26)
そこまで凄いんならハゲを治す薬も作れるってことよね?
money_soku
が
しました
要はもしAIが未解決問題解いても、その証明を人類が理解できる保証が全く無い。
money_soku
が
しました
money_soku
が
しました
どうかな? 素数の謎はこの先もずっと謎のような。
ただ、解決するなら答えを知りたいが。
>「素数」は2000年以上も未解明
DIAMOND online
https://diamond.jp/articles/-/239057
>7は「1と自分自身以外では割り切れない」という特徴がある。こういう特徴を持つ2以上の整数のことを素数という。
>小さい順に素数を探していくと、その表れ方はランダムに見える。
>中でも素数の分布(表れ方)に規則性があるのかどうかについては、
多くの数学者が関心を持っている。
money_soku
が
しました
money_soku
が
しました
とはいえ夢があるね!!
money_soku
が
しました
money_soku
が
しました
money_soku
が
しました
money_soku
が
しました
https://ai-scholar.tech/articles/others/bert-ai-336
money_soku
が
しました
money_soku
が
しました
誰かの証明を引っ張ってくることはできるだろうが、自分では証明できない。
ただ、数学こそ完全な演繹なんだから、演繹ができるAIを開発すればガンガン未解決問題を解決できるようになるかもしれない。
money_soku
が
しました
money_soku
が
しました
money_soku
が
しました
そもそも原理的に解けず
かつ解けないことを証明することも出来ない問題もあるだろうからな
money_soku
が
しました
money_soku
が
しました
しかし答えに辿り着く方法はないかもしれない。
答えに辿り着く方法の有無を判定する方法があるかすら分からない。
money_soku
が
しました
コメントする