GPT-5.6が凸最適化の30年来の未解決問題を解明
Judul asli: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
Mengapa Ini Penting
AIが数学の未解決問題を解明する事例が増加し、研究加速の可能性を示している。
2026年7月15日、GPT-5.6が凸最適化分野で30年間未解決だったギャップを埋め、結果はLeanで検証済みと報告された。
Reddit r/mathコミュニティへの投稿によると、OpenAIがCDC（制御・決定・コンピューティング）証明を発表した後、GPT-5.6が類似のプロンプトを使用して凸最適化（convex optimization）分野における30年来の未解決問題を解消したと報告された。この結果は定理証明支援システムLeanで検証されたとされており、投稿は726ポイント（95%賛成）を獲得している。凸最適化は機械学習や制御工学など広範な分野で基盤となる数学領域であり、長年の未解決ギャップが埋まることは理論的に重要な意義を持つ。詳細な論文や検証内容については現時点で公式発表は確認されていない。