の検索結果 未解決問題
AI & Enterprise
OpenAI、数学研究を助言する外部組織 IAS内に設置
OpenAIは、AIによる数学研究の成果を評価し、公表時期や公開方法を助言する外部組織を米プリンストン高等研究所に設置した。難問の解法公表を巡る検証不足や研究者の貢献評価への懸念に対応する。
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％削減したほか、電力網や量子回路、社内インフラの最適化でも効果を示した。
