https://ai.appwright.xyz/tags/ai-research/ Recent content in AI Research on Appwright AI Hugo en-US Sun, 19 Jul 2026 07:00:00 +0800 https://ai.appwright.xyz/posts/2026-07-19-gpt-56-sol-pro-convex-optimization-30-year-gap/ Sun, 19 Jul 2026 07:00:00 +0800 https://ai.appwright.xyz/posts/2026-07-19-gpt-56-sol-pro-convex-optimization-30-year-gap/ UC BerkeleyのPhillip Kerger教授がGPT-5.6 Sol Proを用い、1996年から未解決だった凸最適化のオラクル複雑性ギャップを単一セッションで解決。証明はLeanで形式検証済み。CDC予想に続く2例目のAI数学ブレークスルーとして、GPT-5.6シリーズの数学研究能力の飛躍的向上を示す。