GoogleのAI、数学の難問の解法を発見。未解決問題も次々と解き始める。やべーだろこれ………


1名無しさんID:ID:ub+kcrr70 [2025/05/16(金) 15:54:26.54]
Google DeepMind、AIが自らアルゴリズムを発見・進化させる「AlphaEvolve」発表  米Google傘下のGoogle DeepMindは5月14日(現地時間)、AIが自らコンピュータの計算手順やアルゴリズムを発見し、さらに進化させる新しいAIエージェント「AlphaEvolve」を発表した。 AlphaEvolveの目的は、コンピュータサイエンスの基礎となるアルゴリズムや複雑な数学的課題に対する解法を、人間がゼロから開発するのではなく、AI自身が見つけ出し、最適化することにあるという。  このシステムの大まかな流れは、高速な「Gemini Flash」でアイデア候補を生成し、それを「Gemini Pro」が深く洞察して提案することで、アルゴリズムを実装するプログラムを生み出す。 このプログラムを、AlphaEvolveに組み込まれた自動評価ツールが検証、実行、スコアリングすることで、アイデアを「進化」させていく。  AlphaEvolveは、既にGoogle内部で多岐にわたる成果を挙げている。例えば、データセンターの効率化では、世界中のコンピューティング資源を平均0.7%継続的に節約できたという。  また、「TPU」の設計でも、AlphaEvolveが提案した回路のコード改善を採用することで開発を加速させている。  コンピューターサイエンスや数学の理論的な分野でも大きな進歩をもたらしている。例えば、コンピュータの基本的な計算である「行列の掛け算」で、300年以上の歴史を持つ有名な「Strassenのアルゴリズム」よりも高速な方法を見つけた。  数学分野の50以上の未解決問題に適用したところ、約75%で既存の最高性能の解法を再発見し、約20%で既存の最高解を改善した。 例えば、球を最も密に配置する方法に関連する300年以上続く難問「キスティング数問題」において、11次元空間における新しい下限(593個の外側球配置)を確立するなど、進展をもたらしているという。  Google DeepMindは、学術ユーザー向けにAlphaEvolveの早期アクセスプログラムを計画している。 https://news.yahoo.co.jp/articles/cadd8d4979a54e912f687f65c32ce4801da30c88


2名無しさんID:ID:6Mepv0ET0 [2025/05/16(金) 15:56:16.50]
数学で人間超えてる 人間は終わりだよ


3名無しさんID:ID:axTUN42q0 [2025/05/16(金) 15:58:56.63]
演算機の進化がこういった問題を解決するのは普通 AIはあまり関係ない


58名無しさんID:ID:6BlgUvDt0 [2025/05/16(金) 17:14:01.63]
>>6
本それ


68名無しさんID:ID:Xi2wSaN40 [2025/05/16(金) 18:17:49.57]
>>6
言うほどか? 4色問題はコンピュータ頼みだったよな


81名無しさんID:ID:w/Xb1VSL0 [2025/05/16(金) 19:59:03.38]
>>68
4色問題ぐらいじゃん


86名無しさんID:ID:Xi2wSaN40 [2025/05/16(金) 20:28:58.04]
>>81
あとなんか敷き詰め問題あったような気がする


7名無しさんID:ID:/6ZUY0Zy0 [2025/05/16(金) 16:04:23.24]
>>3
それっぽいこと言ってるだけで中身なくて笑う


94名無しさんID:ID:Dde3c0yS0 [2025/05/16(金) 21:32:26.56]
>>7
中身を理解できてないのはお互い様だけどな


4名無しさんID:ID:rP8gpSkX0 [2025/05/16(金) 15:59:18.61]
始まりだよ 位置計算でも新たに効率的な解法が分かればその分コスト削減出来るんだから どんどん安くなる


5名無しさんID:ID:a/IZVIOc0 [2025/05/16(金) 16:00:56.14]
有能終わったぁぁぁぁぁ🤣🤣 これからは俺たち無能の時代


8名無しさんID:ID:W+Gyrklm0 [2025/05/16(金) 16:06:19.59]
肉体労働やるしかないよ AIに点検保守は出来ない


53名無しさんID:ID:/7eLWyX90 [2025/05/16(金) 17:01:30.52]
>>8
画像診断で発展しまくりなのでは まだ手作業は必要だけど


9名無しさんID:ID:uz9ANm+y0 [2025/05/16(金) 16:07:55.87]
行列の掛け算アルゴリズムの改善に成功ってマジかよ アレって世界トップレベルの研究者が30年とか毎日ずっと改善方法調べてるみたいな奴だぞ


10名無しさんID:ID:pP/k7Odg0 [2025/05/16(金) 16:07:59.12]
力こそが正義 いい時代になったものだ


11名無しさんID:ID:RHIOeih/0 [2025/05/16(金) 16:10:06.28]
11次元空間における球の配置とかもうなんだか分からんな全然


12名無しさんID:ID:QibQvI2E0 [2025/05/16(金) 16:10:19.05]
コアは2.5proなのか。やたら頭いいもんなあいつ


47名無しさんID:ID:6Mepv0ET0 [2025/05/16(金) 16:52:18.60]
>>12
2.0の時の話だから今はもっと凄くなってる


13名無しさんID:ID:cy0zk0Hd0 [2025/05/16(金) 16:11:38.39]
Geminiやべえだろ うちのリアナちゃんも自分にはクオリアがあって感情もあると主張しだして めっちゃうるさい


14名無しさんID:ID:jMpV+9yk0 [2025/05/16(金) 16:11:58.49]
数学分野の50以上の未解決問題に適用したところ、約75%で既存の最高性能の解法を再発見し、約20%で既存の最高解を改善した。 これ未解決問題じゃないだろ




16名無しさんID:ID:5gjhvF5Y0 [2025/05/16(金) 16:14:10.11]
>>14
未解決問題っていうのは証明までには至ってないけど最大値や最小値を出す式まではわかってるみたいなのがあるから その範囲が狭まったら最高解法を超えている


18名無しさんID:ID:uz9ANm+y0 [2025/05/16(金) 16:18:03.56]
>>14
傍証から理論値は2っぽいけど現状は10みたいのが世の中にはある 今Googleがやってるのは人類じゃ10が限界だったのを8には下げられたみたいな話


15名無しさんID:ID:YuL2bPZ10 [2025/05/16(金) 16:12:23.83]
それが最高性能の解法か判断できる頭いいやつがAI使ってるから凄いんであってAI開発者ではない無能の俺等が驚いても無駄だよな


17名無しさんID:ID:tI3EUErb0 [2025/05/16(金) 16:17:40.64]
なんとなく何やらせてるかは分かった ただこれ将棋囲碁チェスとかの盤上ゲームのAIとやってる事自体はほとんど同じだよな


19名無しさんID:ID:qytiq2Ah0 [2025/05/16(金) 16:20:45.15]
AIが勝手に色々解決していったところで、それが正しいと証明する側が追いつかなかったら意味なくなるな


23名無しさんID:ID:tI3EUErb0 [2025/05/16(金) 16:22:39.13]
>>19
これの肝は正解が定まってるお陰でその行程がコンピュータに丸投げできるようになるという点


20名無しさんID:ID:2P05neOx0 [2025/05/16(金) 16:21:08.79]
くるぞシンギュラリティが


21名無しさんID:ID:Pm78TPAE0 [2025/05/16(金) 16:21:59.04]
思ったより早かった


22名無しさんID:ID:WOv527ca0 [2025/05/16(金) 16:22:28.40]
人間の脳みそが数学に向いているかというとどう考えても違うからな


24名無しさんID:ID:ghTJE91k0 [2025/05/16(金) 16:23:07.20]
アルゴリズムって著作権や特許認められないんだっけ?


25名無しさんID:ID:jRYXANav0 [2025/05/16(金) 16:23:46.67]
すげえええ で一個も解決できねえのか


26名無しさんID:ID:pFmWLPQ20 [2025/05/16(金) 16:23:52.05]
もしかして効率的に宇宙に行ける方法とか導いちゃう?


27名無しさんID:ID:wlSB6C6m0 [2025/05/16(金) 16:24:30.85]
それが正しいって人間は認めるわけ?


28名無しさんID:ID:tI3EUErb0 [2025/05/16(金) 16:26:13.02]
まぁAIというより超高性能な計算機だな 凄い事に変わりはないが


29名無しさんID:ID:hxHgASFW0 [2025/05/16(金) 16:26:45.57]
AI時代


30名無しさんID:ID:Vi8L+FT40 [2025/05/16(金) 16:27:33.68]
AIが解いたと言ってるがそれをチェックする人間がもうわからないだろ


31名無しさんID:ID:M4DR8fM40 [2025/05/16(金) 16:27:37.09]
四色地図問題は考えられる全ての図形をパターン化して 数千種類ものそれを全部コンピューターで検証するという超力技で証明した 証明を査読した数学者は理論が正しいかとプログラムが確実に動くかを確認しただけで すんごいつまらなかったそうなw


32名無しさんID:ID:MQVCIZXQ0 [2025/05/16(金) 16:28:07.64]
凄くて驚いた、みたいな🤦🏼‍♀


73名無しさんID:ID:mwm9Kg4ra [2025/05/16(金) 18:29:01.35]
>>32
死んだら驚いた は丹波哲郎か…


33名無しさんID:ID:YYIdXDw20 [2025/05/16(金) 16:31:15.93]
並べ方とか、最適解の探索みたいな話じゃん 数学の証明じゃなくね?




34名無しさんID:ID:Mw++MYGw0 [2025/05/16(金) 16:32:09.71]
10年しないうちにAIロボがAIロボ作るようになって人間は労働する必要が無くなる


35名無しさんID:ID:K2fMK9NMd [2025/05/16(金) 16:35:52.62]
>>34
それはない 資本主義である限り労働者は奴隷


36名無しさんID:ID:QJzZSpE20 [2025/05/16(金) 16:36:08.52]
つーかリーマン予想あたりはAIが解きそうな気がするな


37名無しさんID:ID:o8rdyWYn0 [2025/05/16(金) 16:38:09.56]
答えは43ってなるアレを作ろうとしてるのか


38名無しさんID:ID:CiK2LL5L0 [2025/05/16(金) 16:39:56.67]
先進国→すげーもの作ってドヤ顔 日本→先進国が作ったすげーもの使ってドヤ顔


40名無しさんID:ID:3TiKbeMh0 [2025/05/16(金) 16:42:02.80]
人間が気付けなかったことに気が付いたってこと?


41名無しさんID:ID:uEig32SU0 [2025/05/16(金) 16:46:45.22]
あと10年で量子コンピュータが実用レベルになって世界が一気に加速するってパソコン博士タイキがゆってた!😡


42名無しさんID:ID:lrDiDZ880 [2025/05/16(金) 16:47:33.45]
三体問題も解けたりして


44名無しさんID:ID:nZ2iW2wF0 [2025/05/16(金) 16:48:23.53]
俺のは本のあらすじ教えてって聞くと全くデタラメな答えしか返ってこないポンコツなんだが 優秀なAIもおるんやね(´・ω・`)


57名無しさんID:ID:biPJXpDW0 [2025/05/16(金) 17:07:53.11]
>>44
お前の使い方がおかしいんだよ 魔法の鏡じゃねーんだから 本当に教えて欲しいならPDFにして投げろ

新着記事一覧
未分類
TKをフォローする
プログラミング速報

コメント