GPT-5.6 used a prompt to close a 30-year gap in convex optimization
TL;DR: In a single 148 min session, with a prompt modeled after the one OpenAI used to prove CDC, GPT 5.6 Sol Pro supplied a proof that closed a...
Summary not yet generated for this article.
Comments (389 of ) ⌛