の検索結果 エルデシュ
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％削減したほか、電力網や量子回路、社内インフラの最適化でも効果を示した。
AI & Enterprise
ChatGPTが着想支援、60年未解決の数学問題に突破口
数学の専門教育を受けていない学生が、ChatGPTの着想支援を手掛かりに60年未解決だった問題の解法に到達した。AIが直接証明したのではなく、人が選別・検証して仕上げた点が注目されている。