GPT-5.6 ने 30 साल पुरानी गणितीय समस्या हल की
मूल शीर्षक: GPT-5.6 used a prompt to close a 30-year gap in convex optimization
यह क्यों महत्वपूर्ण है
AI が数十年来の未解決数学問題を解決し形式検証まで完了した場合、数理科学研究におけるAIの役割が根本的に変わる可能性がある。
2026 年 7 月 15 日、Reddit の r/math に投稿された情報によると、GPT-5.6 が convex optimization 分野における 30 年来の未解決問題を解決し、その証明が Lean により検証されたと報告された。
Reddit の数学コミュニティ r/math に 2026 年 7 月 15 日に投稿された記事によると、OpenAI の GPT-5.6 が convex optimization（凸最適化）分野における 30 年来の未解決問題を埋めることに成功したと報告されている。この成果は、OpenAI が以前に発表した CDC（Continuum Dynamics Conjecture）证明の発表に用いたものと類似した prompt 手法を使用して得られたという。
さらに重要な点として、得られた数学的証明は定理証明支援システム Lean によって形式的に検証されたと説明されている。投稿は 726 ポイントを獲得し、95% の賛成票を集めており、数学コミュニティから高い関心を受けている。
この報告は、AI が人間の数学者が長年解決できなかった問題に対して、厳密な証明を生成できることを示す事例として注目されている。ただし、現時点では公式な学術論文や OpenAI からの公式発表は確認されておらず、Reddit 上の報告に基づく情報である点に留意が必要である。