の検索結果 エルデシュ
AI & Enterprise
Anthropicの非公開AI、リーマン予想研究で前進 成り立つ範囲の下限を引き上げ
Anthropicの非公開AIモデルが、リーマン予想研究で成立範囲の下限を引き上げた。約1日半で650案を試し、60のサブエージェントで検証も実施。結果は社内の数学者2人が確認し、Leanで形式化した。
AI & Enterprise
OpenAIの非公開モデル「Astra」、未解決問題10件で新成果 Lean 4の証明も公開
OpenAIの非公開モデル「Astra」が、数学・理論計算機科学の未解決問題10件で新たな結果を示した。Lean 4による形式証明もGitHubで公開したが、学術的な妥当性は今後の検証を待つ必要がある。
AI & Enterprise
Google DeepMind、「AlphaEvolve」の成果公表 DNA変異検出エラーを30％削減
Google DeepMindは、生成AIシステム「AlphaEvolve」の公開から1年で得られた成果を公表した。DNA変異検出エラーを30％削減したほか、電力網や量子回路、社内インフラの最適化でも効果を示した。
