【AI】Google DeepMindが数学オリンピックレベルの幾何学問題を解けるAIを発表、人間の金メダリストに近い性能を発揮 [すらいむ★]

**すらいむ ★** · 2024/01/18(木) 22:11:16.47

Google DeepMindが数学オリンピックレベルの幾何学問題を解けるAI「AlphaGeometry」を発表、人間の金メダリストに近い性能を発揮

　Google DeepMindが、国際数学オリンピックレベルの複雑な幾何学問題を解決できるAI「AlphaGeometry」を発表しました。
　AlphaGeometryは、実際に国際数学オリンピックで出題された幾何学問題30問を制限時間以内に25問解いたとのことです。

　Solving olympiad geometry without human demonstrations | Nature
　https://www.nature.com/articles/s41586-023-06747-5

（以下略、続きはソースでご確認ください）

Gigazine 2024年01月18日
https://gigazine.net/news/20240118-google-deepmind-alphagemetry/

**名無しのひみつ**(青ヶ島村) · 2024/01/18(木) 23:39:37.23

Facebookの仲間とのグループでこの記事を今シェアしようとしたら「承認待ち」にされた
これ不道徳なニュースかな？

**名無しのひみつ** · 2024/01/19(金) 08:13:53.84

今までのデータを元に器機の作成時の構造などを一基完成させれる?

上記から新素材のものを探せる?

**名無しのひみつ** · 2024/01/19(金) 08:19:30.44

ABc問題をリアルタイム可能?

**名無しのひみつ** · 2024/01/19(金) 08:23:49.69

全てにおいて人間が回答して正しいものをai正解出来たら

今の数学の公式を簡略化できるかを調べられる?
そこから新しい公式も作成可能?

**名無しのひみつ** · 2024/01/19(金) 08:29:49.84

aiが新しい公式を作は人間の数学を元に確かめればわかる?

足し算引き算→掛算のように順番に公式を積み上げれるかをみれびょい?
h

**名無しのひみつ** · 2024/01/19(金) 09:13:15.75

現在ユーザーに公開されているレベルのAIサービスだと
ChatGPTが共通テストで66%を取って、受験生平均の60%を上回ったとか言っている
だが数学はその中でずば抜けて点数が低く40%台になる

文章から数式化してそれを解く能力は現在一般サービス化されている文章生成AIはあまり高くなく
多くのユーザーからMathematicaやsympyを呼び出すようにうまく繋げ！と叩かれた事もあった

一方で数学専門に鍛えたAIというのもあり、こちらは数学オリンピックの代数学系の問題はどんどん解いていたな

今回は幾何の問題を解けるようになったか

**名無しのひみつ** · 2024/01/19(金) 10:31:21.34

ボイス・トォ・スカルの
機械の世知場所模型さね来ます?

**名無しのひみつ** · 2024/01/19(金) 10:34:30.14

①電磁波兵器の特許情報

②デュアルユースのrf指向性エネルギー兵器および撮像装置

Google検索

**名無しのひみつ** · 2024/01/19(金) 11:05:17.36

むしろ数学はコンピュータのもっとも得意とする分野というか、基本機能だろ計算機なんだから。

この程度で数学オリンピックレベルとか作文しちゃう文系ゴミカス低知能マスゴミ

**名無しのひみつ** · 2024/01/19(金) 11:18:59.06

>>10
最近は金集めの詐欺じゃないかって思うくらい
普通に考えられない人が沢山いるんだよｗ
スマホで考える力を奪い、さらにAIでバカを完成させる。

**名無しのひみつ** · 2024/01/20(土) 22:52:13.39

残りの5問はどうした

**名無しのひみつ** · 2024/01/21(日) 13:10:11.84

数値実験だったら，結構成果は出すと思う。でも，素数界隈で話題になってるこの本，読んでみたけど。
人間の泥臭い思考錯誤もまだまだ捨てたもんじゃないと思った。
「素数の出現法則」、ついに発見される！　既成概念を根底からくつがえす現象、果たして証明できるのか!?
https://prtimes.jp/main/html/rd/p/000000002.000107904.html
斬新なアプローチであることは確か。考えたこともなかった方法だったから，色々と勉強になった。
他にもまだまだ法則が見つかっているらしいと匂わせていた。
手間のかかるプロセスを経るけど，確かに「ガチ」。遅かれ早かれ周知されると思う。

**名無しのひみつ** · 2024/01/21(日) 13:12:04.72

市販器機説明
殺害すると集団に脅迫後24時間盗聴盗撮とスピーカー被害者に装着
24時間それをモニタ確認して集団加害者がスピーカー絵離している
①聞こえる方角が変化するは声の聞こえる方の者はその方角から被害者を見ている
②被害者の思考は同じ場所で加害者の思考はテレポートしたように見受けられる
③対話型AIを使用してメタバース内でイルミナティカードをしている
④aiも人間もメタバース内なので現実との誤差の不備やプログラムの修正も吸うできる

**名無しのひみつ** · 2024/01/21(日) 13:41:19.08

>>10
数学オリンピックの問題は計算問題じゃない
平均的な人間がコンピュータを使っただけでは解けない

解法や証明のアルゴリズムを考え出す必要がある

**名無しのひみつ** · 2024/01/21(日) 13:53:24.55

>>15
旧帝大理系や医学部に合格者を50人以上出す高校行けば
数学は閃きと論理の組み合わせがメインであって
四則演算なんて「どうでもいい要素」になるからなｗ
数学オリンピックや大学教養の数学もそんな感じ

一方でコンピュータで数値計算させる時は
むしろ計算速度の速いアルゴリズムを使うべき時があって
この場合には四則演算レベルまである程度チェックして
計算量を調べてやる必要がある

**名無しのひみつ** · 2024/01/21(日) 18:56:30.83

ネットを通じてどこかから、正解/模範解答を入手していて、それを学習済みであるとしたら？
それはカンニングになるのだろうか？

**名無しのひみつ** · 2024/01/21(日) 21:40:37.25

人間が回答出来ないことを回答しないと人間を超えたと言えない
今のAIは人間がすでにわかってることを素早くやってるに過ぎない
一番近いイメージは高速コンピュータ
人間のわからないこと、例えば宇宙の始まり終わり、核融合原子炉の作り方、全ての物理現象を説明出来る統一場理論、神の存在、これらに答えられないと人間を超えたと言えない

**名無しのひみつ** · 2024/01/22(月) 09:43:43.85

SLIMのやったピンポイント着陸の軌道制御なんか一発で公式化しそうｗ

**名無しのひみつ** · 2024/01/23(火) 06:10:09.07

望月ちゃんのABC予想の証明論文が正しいかどうかをAIで判定できないかな？
まだ無理か？

**名無しのひみつ** · 2024/01/23(火) 09:22:34.35

金メダリストってスポーツ馬鹿だろw

**名無しのひみつ** · 2024/01/23(火) 11:45:06.00

>>21
数学オリンピックも優勝者は金メダルを授与される

特定のデータセットに対して良い統計処理手法を提示してプログラミングもして提出すると評価されて
高評価だとメダルと賞金を貰える、kaggleというプラットフォームもある

よく考えると日本って入試に向けたテストと受験以外だと
勉強で学生間ではヒーローにならないんだよな
だからみんなスポーツする奴がヒーローになって
勉強する奴は陰キャ
そして勉強する奴は大学に行って上京して同窓会にも出て来ないと