サクサク読めて、アプリ限定の機能も多数！
今までのLLMは数理最適化問題の立式が全然できなかったけどこれからマシになるかな。
hr-tachikawa のブックマーク 2024/07/27 15:23
このブックマークにはスターがありません。 最初のスターをつけてみよう！
gigazine.net2024/07/26
Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを組み合わせること...
30 人がブックマーク・3 件のコメント
＼ コメントが サクサク読める アプリです ／
今までのLLMは数理最適化問題の立式が全然できなかったけどこれからマシになるかな。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
数学オリンピックの問題で銀メダルレベルのスコアを残すAIを開発したとGoogle DeepMindが発表
Google DeepMindが、形式的な数学推論のための新たな強化学習ベースのシステムとして「AlphaProof」および幾何学を解くシステムとして「AlphaGeometry 2」を発表しました。これら2つのシステムを組み合わせること...
30 人がブックマーク・3 件のコメント
＼ コメントが サクサク読める アプリです ／