このスレッドはアーカイブ化された過去ログです。
このスレッドはアーカイブ化された過去ログです。
人気のスレッド
既婚女性
765
7635.9
7657635.9難民9671137.4
9671137.4なんでもあり628716.4
628716.4ニュー速VIP323370.1
323370.1ニュー速(嫌儲)13142.5
13142.5ニュー速(嫌儲)30140.3
30140.3ニュー速(嫌儲)32130.8
32130.8ニュー速VIP19108.6
19108.6難民82108
82108ニュー速(嫌儲)50104.5
50104.5もっと見る
＞演繹エンジンを使って証明し、それが詰まった時、有用な途中目標をLLMが追加し協力して解く
最新のオリンピック レベルの問題 30 問のテスト セットで、AlphaGeometry は 25 問を解き、
これまで10問しか解けなかった方法を上回り、平均的な国際数学オリンピック (IMO) 金メダリストの成績に近づきました。
特に、AlphaGeometry は人間が読める証明を生成し、人間の専門家の評価の下で
IMO 2000 と 2015 のすべての幾何学問題を解決し、2004 年に翻訳された IMO 定理の一般化バージョンを発見しました。
https://www.nature.com/articles/s41586-023-06747-5
https://deepmind.google/discover/blog/alphageometry-an-olympiad-level-ai-system-for-geometry/
https://gigazine.net/news/20240118-google-deepmind-alphagemetry/
これらは、ソリューションがどのように、そしてなぜ機能するのかについての洞察を提供し、教育的価値を生み出します。
これが、私たちがそのコードとモデルをオープンソース化する理由の 1 つです
AlphaGeometry は、人間によるデモンストレーションを使用せずに、高度な推論機能を実現し、
新しい知識を発見するための潜在的なフレームワークを提供します。
これは、AGI 構築における重要なステップとして広く認識されている、AI を使用した定理証明を推進するのに役立つ可能性があります。↓
この壁超えたらすごいことになりそう
今までもそうだったが今後は一層そう言える
最近は将来稼げると思ってデータサイエンス系に進学するやつが増えてるらしいが無謀
数学も語学も芸術も・・・全部ＡＩにお任せだ！