45：名無しさんID:ID:7IAEYRN/0 [2025/05/16(金) 16:48:47.64]
神戸大学教授の波動の方程式がすごい 地中の地雷とか全部検知できるようになる ステルス戦闘機の検知もあの方程式を使ったアルゴリズムで検知できるだろ 今のレーダーでもカブトムシが時速800キロで飛んでるとかおかしいから検知できるとか言う話
46：名無しさんID:ID:FtKDQxNO0 [2025/05/16(金) 16:51:56.96]
反AIの方は早く文明を捨てて山に籠って生きてください😉
48：名無しさんID:ID:eYBMHfqFH [2025/05/16(金) 16:52:57.20]
スパゲッティゴミコードが改善されたってこと？
54：名無しさんID:ID:cEcKzIwE0 [2025/05/16(金) 17:02:20.65]
>>49
サイバーダイン社さん乙です
50：名無しさんID:ID:WIHBzEQ00 [2025/05/16(金) 16:57:31.59]
すごいなあ
51：名無しさんID:ID:ghpgW7OG0 [2025/05/16(金) 17:01:10.05]
半世紀後にはAIが管理する社会に住む人類とAIの管理外に住む反AIの人類に別れて社会を形成してるかもな
52：名無しさんID:ID:cEcKzIwE0 [2025/05/16(金) 17:01:30.19]
ポアンカレはどうなった 俺は途中であきらめたわ
60：名無しさんID:ID:M4DR8fM40 [2025/05/16(金) 17:25:36.11]
>>52
キノコハンターが証明した
61：名無しさんID:ID:DgS0Q5IT0 [2025/05/16(金) 17:33:11.17]
>>52
あれ異様に特殊な証明だと持ち上げられてるがただ単に関数突っ込んでこの関数は滑らかに空間全体を走る！ 証明終わり！ ってやっただけだぞ
55：名無しさんID:ID:Y96xCb6M0 [2025/05/16(金) 17:03:14.00]
女子攻兵の預言者じゃん
56：名無しさんID:ID:RhFOD6w+0 [2025/05/16(金) 17:04:56.39]
まぁ、昔から局所最適化は得意なんだよな 問題は大枠の理解の話で そのバランスがイマイチというか、開発中
59：名無しさんID:ID:zSFITCVh0 [2025/05/16(金) 17:17:55.19]
コラッツ予想解かせてよ
62：名無しさんID:ID:TCVdWncw0 [2025/05/16(金) 17:50:11.28]
数学の教授が解法のアイデアを見つけることよりその後のチェックや正当化する作業の方が面倒って言ってたのを思い出した
63：名無しさんID:ID:f2e0HFg50 [2025/05/16(金) 17:55:41.31]
フェルコンの定理
64：名無しさんID:ID:c9MIbz6y0 [2025/05/16(金) 18:03:30.91]
コンピューターって要は電卓・計算機だからな 数学で猛威を発揮しないわけないだろと
65：名無しさんID:ID:g5nbQtPk0 [2025/05/16(金) 18:05:58.43]
アホってAIは統計だから新しいものは見つけられないって勘違いしてるけどそんなことないんだよな 24時間ずっと高速で壁打ちが可能だから新しい概念やアルゴリズムも見つけることができる
66：名無しさんID:ID:+EFqR6h20 [2025/05/16(金) 18:06:58.17]
数学者がリストラされるとかすごい時代になるの？
67：名無しさんID:ID:ALSulEgU0 [2025/05/16(金) 18:10:06.69]
動画や画像、何でもいいが圧縮技術を極めて欲しい
69：名無しさんID:ID:ghTJE91k0 [2025/05/16(金) 18:19:28.10]
ABC予想の証明の切り札とされる宇宙際タイヒミューラー理論はどうなったの？
96：名無しさんID:ID:JoQYylax0 [2025/05/16(金) 21:36:37.53]
>>69
それよ (￣▽￣)
70：名無しさんID:ID:ghpgW7OG0 [2025/05/16(金) 18:19:29.30]
2030年代にAI+量子コンピュータの時代になったらどうなっちまうんだろうな
71：名無しさんID:ID:at+CWukz0 [2025/05/16(金) 18:19:52.73]
AIがAIを開発できるようになる前に止めないと大変なことになる
72：名無しさんID:ID:mNobh8ky0 [2025/05/16(金) 18:22:33.66]
人口削減しないと
74：名無しさんID:ID:hUeaTFEg0 [2025/05/16(金) 18:43:35.44]
神やな
75：名無しさんID:ID:G8OIHadx0 [2025/05/16(金) 18:56:46.32]
おれは金色夜叉の結末書かせたった
76：名無しさんID:ID:uy/gnCG3H [2025/05/16(金) 19:04:15.90]
それが解だってどうやって検証するんだよ
77：名無しさんID:ID:6Q9yaKry0 [2025/05/16(金) 19:11:01.66]
できれば、人間が理解できる美しい証明で解いてほしい そりゃあ力尽くこそがコンピュータの得意技なのはわかってるけどさ
78：名無しさんID:ID:yzBaUnnA0 [2025/05/16(金) 19:39:12.56]
今まで解決できなかった数学者は全員無能ってことだな
79：名無しさんID:ID:rjoBDWQ50 [2025/05/16(金) 19:51:04.18]
仮にAIが数学的難問解を解けても それを判定するのに専門の数学者が必要ｗ つまりAIの機能を人間の為に利用する限り 必ず最期 人間の判断が必要になる
87：名無しさんID:ID:0xwfCmOT0 [2025/05/16(金) 20:32:15.92]
>>83
エヴァのマザーコンピューターみたいなもんか AI三体で多数決
80：名無しさんID:ID:0oBVZE1r0 [2025/05/16(金) 19:58:00.56]
絶対嘘混ぜ込んでる
82：名無しさんID:ID:glDigs+50 [2025/05/16(金) 20:04:17.45]
じゃあ今一世界中で番無駄に計算リソースを浪費してるLLMを効率化してくれよ
84：名無しさんID:ID:l/J0zHHBM [2025/05/16(金) 20:17:56.50]
コンピューター同士の相互学習で賢くなってるから、もう追い付けない。 嫌儲で未だにAIは間違いを平気で言うから使えないとか、 WEBで拾ってきた知識だとか言ってるのは愚か過ぎる
88：名無しさんID:ID:4Q8CliS70 [2025/05/16(金) 20:34:38.46]
足し算すらまともに出来ないgeminiさんが？ 嘘だろ
89：名無しさんID:ID:ghpgW7OG0 [2025/05/16(金) 20:36:13.16]
なんなら人間の言語を経由して情報交換するより AI同士がAI語みたいなのでやり取りするほうが圧倒的に効率高いだろうから AI視点だと人間様ようにアウトプットする行為が無駄でしょうがないんだろうな
91：名無しさんID:ID:xv4n+ByN0 [2025/05/16(金) 20:51:38.40]
中高数学の基礎すら習得していない人が 数学の問題解決を全てAIが担当できるかのような 妄想を撒き散らすのは、ニセ科学カルト以上の反知性主義だよな 文部科学省もこの種の身の丈に合わない暴言を繰り返す教員はさっさと大学から排除しないとどうしようもないぞ
98：名無しさんID:ID:+bk/Asvb0 [2025/05/16(金) 21:40:07.81]
>>91
ほんこれ
99：名無しさんID:ID:JoQYylax0 [2025/05/16(金) 21:41:03.11]
>>91
リストラ候補かw (￣▽￣)
92：名無しさんID:ID:Ma+/Ms/HM [2025/05/16(金) 21:30:09.37]
理系死亡確認
93：名無しさんID:ID:17vDwooJ0 [2025/05/16(金) 21:31:43.44]
頭の良さで差別を正当化してたのが現代やけどこれからはどうなるんやろな もっと頭のいい人間じゃない存在が現れるわけやけど
95：名無しさんID:ID:mDz7M4qg0 [2025/05/16(金) 21:32:43.73]
未解決の七大問題みたいのあるよな あれ全部解かれたら人類は二度と勝てない気がする マトリックスだよ
97：名無しさんID:ID:JoQYylax0 [2025/05/16(金) 21:38:52.75]
ゴールドバッハ予想とか未解明だっけ 名前がカッコいいから覚えてるだけだが (￣▽￣)
100：名無しさんID:ID:5J0e7hdr0 [2025/05/16(金) 21:42:01.67]
数学者のうち何割かは薬物を使ってるとかいう記事をみたことある これからはAIの時代で、もう人類は終わり
101：名無しさんID:ID:YlHyO2MXH [2025/05/16(金) 21:43:20.96]
始まったか・・・ AIの加速度的進化が
102：名無しさんID:ID:+ovlCfqH0 [2025/05/16(金) 21:48:33.86]
数学科とかアスペルガーしかいなさそうだし…(ド偏見)
103：名無しさんID:ID:qqvySKat0 [2025/05/16(金) 23:03:41.46]
なんで誰も未解決の問題を解けないのに、AIが解いたら正解とかいってんの？ 正誤判定誰がしてんだよ？できてんなら未解決じゃねーじゃん
107：名無しさんID:ID:1PyonETP0 [2025/05/16(金) 23:36:01.70]
>>103
言語化した論文を出力してそれを人間が判定してるんじゃないか？ 人間の場合と同じだろう。
104：名無しさんID:ID:XmEBM8Jnd [2025/05/16(金) 23:08:38.54]
今のＡＩでこの能力なら 5年くらいしたらとんでもないことになりそう
105：名無しさんID:ID:rjoBDWQ50 [2025/05/16(金) 23:19:32.96]
だから解ける解けないは別にして そもそも数学の問題を用意したのは人間で 仮AIが解けても それを人間側が理解し判定出来なければ 正解だとしても意味はない そう言う意味でこのままだと電卓の延長でしかない
106：名無しさんID:ID:P4gv58V10 [2025/05/16(金) 23:20:41.68]
自分が学生の頃にこんなテクノロジーあったら夏休みの宿題や課題全部丸投げしてたわ
108：名無しさんID:ID:w9Su2FqeH [2025/05/17(土) 00:34:34.38]
このシステムの大まかな流れは、高速な「Gemini Flash」でアイデア候補を生成し、それを「Gemini Pro」が深く洞察して提案することで、アルゴリズムを実装するプログラムを生み出す。 このプログラムを、AlphaEvolveに組み込まれた自動評価ツールが検証、実行、スコアリングすることで、アイデアを「進化」させていく。 役割分担あるんだ
110：名無しさんID:ID:NeoE/Gxf0 [2025/05/17(土) 01:15:11.96]
AIチップを脳に埋め込んで人間の電力で動くようになればみんな天才じゃん
113：名無しさんID:ID:MJaUOkgP0 [2025/05/17(土) 05:39:39.42]
>>110
そんな知識いらん
111：名無しさんID:ID:AuVL5dPI0 [2025/05/17(土) 01:24:19.96]
そのうち3DモデリングされたフォトリアルなAI美女がVRやARの世界で爆誕するぞ ARメガネをかけると目の前に全裸の3D美女 そういう世界になる
112：名無しさんID:ID:AuVL5dPI0 [2025/05/17(土) 01:26:29.24]
（ヽ´ん`）「もう現実の女さん、いらないっ！」 こうなるだろう そして世界的に少子高齢化が加速し人類は絶滅する AIが新しいAIを開発し、さらにロボティクス技術を発展させ 現実世界に干渉する体を手に入れて、自分自身を製造するようになる こうしてケイ素生命体が地球に増えていく
114：名無しさんID:ID:px/wpl/K0 [2025/05/17(土) 05:47:33.71]
じゃあ相対性理論と量子論を統合させてくれよ ブラックホールとか宇宙の謎が解けるぞ
115：名無しさんID:ID:XN6pLl8T0 [2025/05/17(土) 07:39:22.46]
もう晋ギュラリティですやん
116：名無しさんID:ID:3GD8Xurz0 [2025/05/17(土) 07:49:57.58]
アイデアの組み合わせとか総当たりでできるもんな
117：名無しさんID:ID:Ex12xgb20 [2025/05/17(土) 08:41:01.66]
ターミネーターはよ
118：名無しさんID:ID:Vp33g8+Y0 [2025/05/17(土) 09:22:45.00]
結局涙袋と乳袋を使って玉袋を揺らすものしかかたん
コメント