OpenAIは377個の数学問題に関する調査結果を発表しました。これは代数、数論、理論コンピュータサイエンス、数学的論理、トポロジーをカバーしています。以前にNavier-Stokesの方程式を解いたと主張した後です。これは100万ドルの賞金がかかったミレニアム問題です。これらの結果は未公開の高度なAIモデルを使用し、Lean検証システムを使用してレビューされました。1つのソリューションあたりの平均計算時間は約3時間です。OpenAIは、Princeton, N.J.にある高等研究研究所によってホストされた独立諮問委員会からのフィードバックを取り入れたと述べました。委員会にはハーバードの数学者Melanie Woodが含まれています。委員会は透明性を求め、AIプロンプトと思考の連鎖の公開を求め、AI企業が未解決の問題でプロプライエタリーモデルをテストしていると批判しました。これにもかかわらず、OpenAIは内部テストを継続しており、研究主任のDan Robertsはより良いツールを構築するのに役立つと述べました。NYUの数学者Tristan Buckmasterは、AIが数学者の先行研究を使用して証明を完了している可能性があると警告し、AI支援発見におけるクレジットとオリジナリティに関する懸念を提起しました。
出典: New York Times Top Stories · 要約：HeadlinesBriefing