AlphaGeometryの検索結果1 - 4 件 / 4件

• あとで読む

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

  • 40 users
  • gigazine.net
  • テクノロジー
  • 2024/01/18

  Google DeepMindが、国際数学オリンピックレベルの複雑な幾何学問題を解決できるAI「AlphaGeometry」を発表しました。AlphaGeometryは、実際に国際数学オリンピックで出題された幾何学問題30問を制限時間以内に25問解いたとのことです。 Solving olympiad geometry without human demonstrations | Nature https://www.nature.com/articles/s41586-023-06747-5 AlphaGeometry: An Olympiad-level AI system for geometry - Google DeepMind https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-syst

  • ai
  • DeepMind
  • math
  • google
  • 人工知能
  • モデル
  • 数学
  • github
  • あとで読む

  
• あとで読む

  Google、数学の難問を解くAI「AlphaProof」「AlphaGeometry 2」を発表　国際数学オリンピックで「銀メダル」レベルに到達

  • 21 users
  • atmarkit.itmedia.co.jp
  • テクノロジー
  • 2024/08/17

  GoogleのAI（人工知能）部門であるGoogle DeepMindは2024年7月25日（米国時間）、数学の難問を解くために構築されたAIシステム「AlphaProof」「AlphaGeometry 2」を発表した。 Google DeepMindによると、これらのAIシステムを組み合わせることで、2024年に開催された国際数学オリンピック（IMO）で出題された6つの問題の内、4つを解き、「AIシステムが銀メダル水準のレベルに初めて到達した」としている。 Google DeepMindは「AlphaProofは、2024年のIMOで出題された2つの代数問題と1つの整数論の問題を解いた。これらにはわずか5人しか解けなかった難問も含まれていた。AlphaGeometry 2は幾何学の問題を証明したが、2つの組み合わせ論の問題は解けなかった」と述べている。 Google DeepMindによ

  • 人工知能
  • あとで読む
  • Google

  
• あとで読む

  AlphaGeometry: An Olympiad-level AI system for geometry

  • 12 users
  • deepmind.google
  • テクノロジー
  • 2024/01/18

  Research AlphaGeometry: An Olympiad-level AI system for geometry Published 17 January 2024 Authors Trieu Trinh and Thang Luong Our AI system surpasses the state-of-the-art approach for geometry problems, advancing AI reasoning in mathematics Reflecting the Olympic spirit of ancient Greece, the International Mathematical Olympiad is a modern-day arena for the world's brightest high-school mathemati

  • 人工知能
  • 数学
  • AI
  • あとで読む

  
• あとで読む

  AlphaProof と AlphaGeometry 2 の概要｜npaka

  • 3 users
  • note.com/npaka
  • テクノロジー
  • 2024/07/29

  以下の記事が面白かったので、簡単にまとめました。 ・AI achieves silver-medal standard solving International Mathematical Olympiad problems 1. はじめに高度な数学的推論機能を備えた汎用人工知能 (AGI) は、科学技術の新たな領域を切り開く可能性を秘めています。 私たち (Google DeepMind) は、数学者が新しい洞察、斬新なアルゴリズム、未解決の問題への答えを発見するのに役立つAIシステムの構築で大きな進歩を遂げてきました。しかし、現在のAIシステムは、推論スキルと学習データの制限により、一般的な数学の問題を解くのにまだ苦労しています。 この記事では、形式的な数学推論のための新しい強化学習ベースのシステムである 「AlphaProof」と、幾何学を解くシステムの改良版である「AlphaGeo