このスレッドはアーカイブ化された過去ログです。
このスレッドはアーカイブ化された過去ログです。
人気のスレッド
既婚女性
1000
10011.6
100010011.6既婚女性1027319.6
1027319.6ニュー速VIP955527.8
955527.8ニュース速報18460
18460難民946164.6
946164.6ニュー速(嫌儲)101163.7
101163.7ニュー速(嫌儲)81141.1
81141.1ニュー速(嫌儲)78124.5
78124.5ニュー速(嫌儲)365120.5
365120.5ニュー速VIP13116.7
13116.7もっと見る
＞演繹エンジンを使って証明し、それが詰まった時、有用な途中目標を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 を使用した定理証明を推進するのに役立つ可能性があります。↓
この壁超えたらすごいことになりそう
今までもそうだったが今後は一層そう言える
最近は将来稼げると思ってデータサイエンス系に進学するやつが増えてるらしいが無謀
数学も語学も芸術も・・・全部ＡＩにお任せだ！