The topic concerns a recent claim that an AI model, referred to as "GPT-5.6," successfully used a prompt to solve a 30-year-old open problem in convex optimization. ### What Changed The claim suggests that the AI provided a proof or a solution regarding the time complexity of optimizing convex, Lipschitz functions over a spherical domain. Specifically, it reportedly established that the lower bound for time complexity is $\Omega(d^2)$ function evaluations, matching the performance of an existing 30-year-old algorithm. This effectively closes a gap in understanding the theoretical limits of these optimization problems. ### Why It Matters * **Theoretical Significance:** Establishing non-trivial lower bounds is notoriously difficult in theoretical computer science because it requires proving constraints that apply to *all* possible algorithms, not just one. * **Foundational Impact:** Convex optimization is a cornerstone of many statistical learning and AI models. While modern deep learning often deals with non-convex objectives, many core optimization techniques (like SGD and ADAM) are derived from convex optimization theory. * **AI Capability:** The event is being discussed as a significant milestone in AI's ability to contribute to formal mathematical research, moving beyond simple coding or text generation into the realm of solving long-standing, non-trivial theoretical problems. ### Sources The primary discussions and analysis of this event are currently taking place on community-driven platforms: * **Hacker News:** A thread titled ["GPT-5.6 used a prompt to close a 30-year gap in convex optimization"](https://news.ycombinator.com/item?id=48957779) contains technical commentary from users who analyze the mathematical implications of the claim. * **Reddit:** The original discussion originated on the r/math subreddit (referenced in the Hacker News thread). *Note: As of July 18, 2026, this is a rapidly evolving topic primarily discussed in community forums. Users should approach these claims with the standard caution applied to unverified, community-reported scientific breakthroughs until formal peer-reviewed documentation or official confirmation from the research institution is available.*