概要
Google DeepMindが開発したAIシステム「AlphaGeometry2」は、国際数学オリンピック（IMO）の幾何学問題を解く能力において、平均的な金メダリストを上回る成果を示しました。このシステムは、昨年発表された「AlphaGeometry」の改良版で、過去25年間のIMOの幾何学問題の84%を解決できるとされています。DeepMindは、高校レベルの数学コンペティションに注目する理由として、幾何学問題の解決方法を探ることが、より高度なAIの開発に寄与すると考えています。
AlphaGeometry2は、GoogleのGeminiモデルを基にした言語モデルと「シンボリックエンジン」を組み合わせており、幾何学定理の証明を行います。特に、問題を解決するために必要な構造を予測し、論理的一貫性をチェックする機能を持っています。研究では、過去25年間のIMO問題から選ばれた50の問題のうち42を解決し、金メダリストの平均スコアを上回りましたが、変数の数が不定の問題や非線形方程式には対応できない制約もあります。
この研究は、シンボル操作とニューラルネットワークの統合アプローチが、一般的なAIの開発において有望であることを示唆しています。DeepMindは、AlphaGeometry2が外部ツールに依存せずに部分的な解決策を生成できる可能性も示していますが、現時点ではシンボリックエンジンが数学的応用において重要であるとしています。
ポイント
- DeepMindのAI「AlphaGeometry2」は、国際数学オリンピックの問題を84%解決。
- このシステムは、シンボリックエンジンとGeminiモデルを組み合わせたハイブリッド型。
- AlphaGeometry2は、従来のAIと異なり、シンボル操作とニューラルネットワークを融合。
詳しい記事の内容はこちらから
情報の信ぴょう性
プロフィール
TechCrunchは、2005年6月にマイケル・アーリントンとキース・ティアーによって設立されたテクノロジーニュースサイトです。
本社はカリフォルニア州サンフランシスコにあります。
TechCrunchは、主にスタートアップやハイテク企業に関するニュース、レビュー、インタビューなどを提供しています。
2010年にはAOLによって買収され、その後、2021年にはApollo Global ManagementがTechCrunchを含むベライゾンメディアの資産を買収しました。
TechCrunchは、毎年世界各地で開催される「TechCrunch Disrupt」というイベントでも知られています。
信ぴょう性
TechCrunchは、信頼性の高い情報源とされていますが、一部の批判もあります。
Ad Fontes Media（※1）によると、TechCrunchは「信頼できる」情報源として評価されており、中立的な報道を行っているとされています。
ただし、一部の記事にはバイアスが見られることもあるため、常に複数の情報源を参照することが重要です。
※1
Ad Fontes Mediaは、2018年にヴァネッサ・オテローによって設立された非営利団体で、メディアの信頼性と偏見を評価することを目的としています。彼らは「メディア偏見チャート」を提供しており、これはメディアの政治的偏見と信頼性を視覚的に示すものです。
