GoogleのAI、国際数学オリンピックで「金メダル」を達成。人間には思いつかないエレガントな解法を出力（生成AIクローズアップ） | テクノエッジ TechnoEdge

2014年から先端テクノロジーの研究を論文単位で記事にして紹介しているWebメディアのSeamless（シームレス）を運営し、執筆しています。 1週間の気になる生成AI技術・研究をいくつかピックアップして解説する連載「生成AIウィークリー」から、特に興味深いAI技術や研究にスポットライトを当てる生成AIクローズアップ。 今回は、国際数学オリンピックで金メダル相当のパフォーマンスを達成したモデルを提示する論文「Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2」に注目します。 Google DeepMindが開発したAIシステム「AlphaGeometry2」（AG2）は、国際数学オリンピック（IMO）の幾何学問題において画期的な成果を上げました。2000年から2024年までのIMO幾何学問題の

[kei_1010]

このまま宇宙際タイヒミュラーなんちゃらも証明してくれ。

[ustam]

全人生を犠牲にして狂気じみて頭を捻っている数学者が用済みとか勘弁してあげて…。

[snow8-yuki]

答えのある問題を作ってそれを解いた速度ってだけだからどーだろう

[Sampo]

そしたら、逆に数学論文を読んでそれに論理の穴がないか査読することもできるってことかな？（宇宙際タイヒミュラー理論のことを思い浮かべてる

[tomoP]

そのうちオイラーを超える数の論文を吐き出しそう

[wktk_msum]

"幾何学の専門言語も拡張され、より多くの概念を扱えるようになりました。例えば、点の移動や角度、比率の線形方程式など、以前のバージョンでは扱えなかった概念を新たに導入"幾何学の専門言語ってあんのか

[quwachy]

fraction　こういうアホのコメントを老後の楽しみに記録しておくサイト作って

[Nyoho]

Google DeepMindが開発したAIシステム「AlphaGeometry2」（AG2）へー幾何に特化した数学モデルなんだー! おもしろそう

[fraction]

将棋で言えば奨励会二段くらいには平然と勝つAIができたってことね。将棋の場合と違って「終わり」がなく、一応公理系だって無限にあり得るので現役トップに追いつけるとは到底思えない。

[tach]

生成AIは幾何学も解けるのか…

[InoHiro]

人間が積み上げてきた研究を学習して結果を出すならわかるけど、人間には思いつかない解法が出てくるのは驚く

[in2]

AIが出力した解法を（ハルシネーションを超えて）理解して提出するやばい人間と、その凄さを理解できるやばい人間が必要なので、結局人間が必要なのだ…。

[m7g6s]

そりゃあ得意分野でしょうし

[takoswka]

人がやらなければ意味がない。

[michsuzuki]

数学オリンピックでもチェスみたいにAI持ち込みで処分の事例が出そう

[kuhataku03]

AIが複雑怪奇な新理論を提案してきたとして、査読できるんか？査読もAIがやるんやろか。正しいと信じてきた理論が性能向上したAIにより誤りと訂正、みたいなことも普通に起きそうだな

[Balmaufula]

年後には数学者は無職かあ

[yujimi-daifuku-2222]

今後加速度的にAIの能力は上がっていくのでしょうね。/創造性においては人間の優位性を信じたい所ですが、5年もしない内に宗旨替えする事になりそうで、何とも言えない気分。

[otchy210]

全く新たな数学の理論に関してはまだ人間のトップの方が優れていそうだけど、その論文の査読は、その分野に精通するトップ数学者がもはや少なすぎるということも鑑み、AI の方が精度高く査読できそう。

[HDPE]

リーマン予想などの未解決問題をAIが証明するようになったら数学者という職業はAIに奪われるかも

[kgkaaz]

学習データに含まれてる可能性がある過去問ではなく今年の問題に挑むことを予告して成果を必ず報告して欲しい。後から「上手くいきました」では検証の価値が半減する

[safety2780]

すごいな

[aoiyotsuba]

ミレニアム懸賞問題を解かせようとしている人もいるんだろうね

[naggg]

"Geminiをベースとした、より強力な言語モデルを採用。、約3億個の定理からなる大規模なデータセットで訓練。また、記号処理エンジンを大幅に改良し、処理速度を約300倍に向上させました"

[shoh8]

42

[misshiki]

“Google DeepMindが開発したAIシステム「AlphaGeometry2」（AG2）は、国際数学オリンピック（IMO）の幾何学問題において画期的な成果を上げました。...平均的な金メダリストの成績を上回る性能を示しました。”

[kazkaz03]

問題は　https://www.imo-official.org/problems.aspx

[yoiIT]

そのうち宇宙の真理に辿り着きそう。

[bigchu]

電気代なんぼよ

[Shinwiki]

性質上、その補助点を打つための材料は人類が揃えてたのに点を打つことに思い至ってなかったってことになるんでしょう？これ。

[augsUK]

直角三角形かつ点Iを通る為には点Eということだろうか。将棋AIの時にも少し議論になったけど、どの程度の計算リソースで臨むべきかもこういう実証では迷うところね。