OpenAI のモデルが、長年未解決だった数学・計算機科学の 10 問題を解いた

OpenAIが未公開の内部モデルAstraを使用し、数学や計算機科学分野で長年未解決だった10の問題を解いたと発表しました。これらの問題は1940年代から手つかずであり、Astraの高度な問題解決能力とAIの学術的貢献の可能性を示唆しています。

• OpenAIの非公開モデルAstraが、長年未解決だった数学・計算機科学の10問題を解決しました。
• 解決された問題には、1940年代から未解決だったものも含まれています。
• これらの問題解決にかかった費用は、API換算で約2,000ドルと推定されています。
• 解決策は機械検証可能な証明書付きであり、検証コストを大幅に削減します。
• これはAIが高度な科学的推論を実行できる可能性を示す重要な進歩です。