GPT-5.6、最適化理論の30年来の未解決問題を解決
Original : GPT-5.6 used a prompt to close a 30-year gap in convex optimization
Pourquoi c'est important
AIが長年の未解決数学問題を解決し、形式検証まで完了した事例として注目される。
GPT-5.6が凸最適化分野で30年間未解決だった問題を解決し、証明はLeanで形式検証された。OpenAIのCDC証明発表に触発されたプロンプト手法が活用された。
Reddit の r/math フォーラムに2026年7月15日に投稿された報告によると、GPT-5.6が凸最適化（convex optimization）の分野において約30年間未解決だったギャップを埋めることに成功した。この成果は、OpenAIが先に発表したCDC（Conference on Decision and Control）関連の証明に触発された類似プロンプト手法を用いて達成された。得られた証明は定理証明支援系Leanを用いて形式的に検証されており、人間の数学者によるチェックだけでなく機械的な正確性の確認も行われている。投稿は726ポイント・95%の高評価を獲得しており、数学コミュニティから大きな注目を集めている。詳細な論文や著者情報は現時点では投稿本文に明示されていないが、AIによる数学的発見の再現性と信頼性に関する議論が活発に行われている。