画像ファイル名：1778033155388.jpg-(73810 B)
26/05/06(水)11:05:55No.1427208978そうだねx3
13:11頃消えます
imgで言う事じゃないかもしんないけど
「AIが数学の未解決問題を解いた」ってニュースあるけど
どれも未だに数学者が材料をある程度与えてる例しか無くてちょっと誇大広告だなって思うのよね
| … | 126/05/06(水)11:09:14No.1427209779そうだねx15ホントにimgで言う事じゃなさ過ぎる |
| … | 226/05/06(水)11:10:03No.1427209927+じゃあimgで言うことってなんだよ |
| … | 326/05/06(水)11:11:18No.1427210210+人間だけじゃ解けないものが解けたら十分だろ |
| … | 426/05/06(水)11:12:21No.1427210434そうだねx5材料をある程度与えられていてもその材料で人間に解決できていなかったものを解けたのなら誇大広告ではなくない？ |
| … | 526/05/06(水)11:13:27No.1427210685+>材料をある程度与えられていてもその材料で人間に解決できていなかったものを解けたのなら誇大広告ではなくない？
誇大広告の意味理解できてなさそうだね |
| … | 626/05/06(水)11:14:37No.1427210969そうだねx12>じゃあimgで言うことってなんだよ
おぺにす… |
| … | 726/05/06(水)11:15:12No.1427211106+ゼロから解いた場合と指示を与えて解いた場合は全然違うのに一緒に扱われがちではある |
| … | 826/05/06(水)11:15:16No.1427211122+AIに材料を与えたら解けたって例なら1990年代にもあったからね
当時のAIは深層学習ですら無かったけど |
| … | 926/05/06(水)11:15:28No.1427211164+人間の○○の発見も前提は他の人がとかで全部誇大広告になりそう |
| … | 1026/05/06(水)11:15:56No.1427211277そうだねx2大体そういうのってタイトルで釣ろうとしてる記事じゃない
AI関係なくいくらでもあるだろうそんなの |
| … | 1126/05/06(水)11:18:37No.1427211898+AIが仕事を奪うって他の例と違って
数学者が積極的にAIが数学の問題を解けるようになる道具を提供してきて数学者自身の指示でAIに解かせてるんだよな |
| … | 1226/05/06(水)11:19:08No.1427212038そうだねx2>>材料をある程度与えられていてもその材料で人間に解決できていなかったものを解けたのなら誇大広告ではなくない？
>誇大広告の意味理解できてなさそうだね
その未解決問題の質が何かによって誇大広告かそうでないかは変わると思う材料提供の有無ではなく |
| … | 1326/05/06(水)11:20:39No.1427212370+>AIが仕事を奪うって他の例と違って
>数学者が積極的にAIが数学の問題を解けるようになる道具を提供してきて数学者自身の指示でAIに解かせてるんだよな
プログラミングもプログラマの指示でAIに作らせてるし指示なしじゃ何も作れないから同じよ |
| … | 1426/05/06(水)11:21:16No.1427212499+>じゃあimgで言うことってなんだよ
まんこおおおおおおおおおおおおお！！！ |
| … | 1526/05/06(水)11:21:36No.1427212584そうだねx3行先を入力したのは人間だから自動運転してないとか言ったらアホみたいじゃない？ |
| … | 1626/05/06(水)11:22:53No.1427212908+解に対する計算方法はわかってるけど試行数が膨大すぎて人間には無理なのをAIはできた！なら誇大広告かも |
| … | 1726/05/06(水)11:25:30No.1427213565+>行先を入力したのは人間だから自動運転してないとか言ったらアホみたいじゃない？
今のところは行先だけじゃないんだよな… |
| … | 1826/05/06(水)11:27:57No.1427214191+問題文以外の情報を入力しないというルールじゃないと公平じゃないからな |
| … | 1926/05/06(水)11:28:30No.1427214324そうだねx4テレンス・タオおじさんが色々実験してて楽しそうにしてるのが嬉しい |
| … | 2026/05/06(水)11:30:45No.1427214871+数学者達が～年掛かったあの問題がAIはたった～で解決！みたいなの？ |
| … | 2126/05/06(水)11:31:57No.1427215130+数学の未解決問題解くためだったらGPT Pro使い放題にしますよって査読付き論文出した経験ある人達にやったら
もっと解かれると思う |
| … | 2226/05/06(水)11:32:57No.1427215350+>大体そういうのってタイトルで釣ろうとしてる記事じゃない
>AI関係なくいくらでもあるだろうそんなの
「人は気の利いたことを言おうとすると、なんとなくうそをつくことがあるものです。」サン・テグジュペリ(「星の王子様」より) |
| … | 2326/05/06(水)11:33:35No.1427215495+>数学者達が～年掛かったあの問題がAIはたった～で解決！みたいなの？
人間が解けなかった問題だよ |
| … | 2426/05/06(水)11:35:06No.1427215890+もしかしてAIのために用意されたデータセンターの能力フルに使えるのもでかいんじゃないだろうか |
| … | 2526/05/06(水)11:36:45No.1427216285そうだねx1>数学者達が～年掛かったあの問題がAIはたった～で解決！みたいなの？
誰も真面目に取り掛かってなくて放置されてた未解決問題みたいなのばっかりではあるんだけど
そういうのAIで潰しておくと後で思わぬとこで役に立ったりするからまあまあ大事なステップだと思う |
| … | 2626/05/06(水)11:38:57No.1427216798+四色定理みたいなゴリ押し証明でも意味ないし
ある程度は人間が解かなきゃ人にとって価値ある証明にはならなさそう |
| … | 2726/05/06(水)11:40:36No.1427217182そうだねx2>「人は気の利いたことを言おうとすると、なんとなくうそをつくことがあるものです。」サン・テグジュペリ(「星の王子様」より)
ごめんちょっとレスキモってなった |
| … | 2826/05/06(水)11:41:35No.1427217381そうだねx6その誇大広告になるラインを共有できてない以上すれ違いしか起きないと思うよ |
| … | 2926/05/06(水)11:43:18No.1427217755+機械は円周率覚えててすごいよな
俺は覚えてない |
| … | 3026/05/06(水)11:45:10No.1427218202そうだねx1>機械は円周率覚えててすごいよな
>俺は覚えてない
円周率世界記録！とかやってるやつの計算式
未だにラマヌジャンが考えた式使ってるのでラマヌジャンすげえ～ってなる |
| … | 3126/05/06(水)11:45:11No.1427218210+重要なのは結局人間でAIはそれを補うツールでしかないということのわかりやすい例なだけでは |
| … | 3226/05/06(水)11:46:11No.1427218464+ラマヌジャンは天啓だから… |
| … | 3326/05/06(水)11:47:29No.1427218765+「」より数学が得意なのは確かだ |
| … | 3426/05/06(水)11:49:20No.1427219179+>「」より数学が得意なのは確かだ
それはそうなんだが俺はAIに数学の発見で負けたくない |
| … | 3526/05/06(水)11:49:49No.1427219298+>その誇大広告になるラインを共有できてない以上すれ違いしか起きないと思うよ
数学の証明という作業が具体的にどういうものなのかってのを知ってないとラインもクソも無いんだけど
少なくとも大学の教科書をちゃんと読んでないとその辺りのイメージは難しいだろうなって思う |
| … | 3626/05/06(水)11:50:17No.1427219398そうだねx1>「」より数学が得意なのは確かだ
数学科レベルの問題が解ける反面小学生レベルの図形問題間違えるから単純に比較できない |
| … | 3726/05/06(水)11:51:17No.1427219635そうだねx1>それはそうなんだが俺はAIに数学の発見で負けたくない
もう負けてるだろ |
| … | 3826/05/06(水)11:54:25No.1427220382+AIはテレンスタオに認められてるのに「」ときたら… |
| … | 3926/05/06(水)11:57:07No.1427221053そうだねx3>>「」より数学が得意なのは確かだ
>それはそうなんだが俺はAIに数学の発見で負けたくない
じゃあimgはガマンしなきゃ！ |
| … | 4026/05/06(水)12:01:23No.1427222132+テレンス・タオって親分感出てるけどまだ50歳なんだよな
下手したら一部の「」より年下かもしれなくて怖い |
| … | 4126/05/06(水)12:13:05No.1427225487+「」が未解決問題を解いていけばいいな |
| … | 4226/05/06(水)12:15:19No.1427226068そうだねx1>じゃあimgで言うことってなんだよ
AI搭載した2kたんロボ作ったよ報告とか |
| … | 4326/05/06(水)12:33:19No.1427230655+>じゃあimgで言うことってなんだよ
「数学のⅠAかと思った」くらいでどうだろう |
imgで言う事じゃないかもしんないけど「AIが数学の未解決問題を解いた」ってニュース