GPT-5.6 Sol Pro solves open problem in convex optimization
What's happening
GPT-5.6 Sol Pro (also called 5.6 Sol PRO / 5.6 Sol Ultra in posts) has been reported to solve multiple high-profile math and optimization problems. Reddit posts claim 5.6 Pro solved five Erdos problems and all 6 problems from IMO 2026 on first attempt without human steering. A separate Reddit author says that in a single 148-minute session, using a prompt modeled on OpenAI's CDC proof methodology, GPT-5.6 Sol PRO produced a proof that closed a 30-year complexity gap in convex optimization (since 1996) and that the result was formally verified in Lean. Hacker News also headlines that GPT-5.6 Sol Pro solved an open problem in convex optimization.
Why it's trending
Multiple independent posts around the same time report GPT-5.6 variants producing machine-verified proofs and solving longstanding math problems, turning model capabilities into concrete research outputs.
SignalHolding at its usual pace, confirmed across 2 independent source types.
Story volume
Stories per dayAngles you could write
If GPT-5.6 Sol Pro can close a 30-year gap in convex optimization in 148 minutes, we need to stop treating 'AI as assistant' as the baseline and start asking who owns the theorem and the proof chain now.
+2 more angles for this topic with an account — all it takes is your email.
Original sources4
- GPT 5.6 solved all 6 problems from IMO 2026
GPT 5.6 Pro solved all 6 problems from IMO 2026 on the first attempt without any human help or steering. International Mathematical Olympiad (IMO) is the biggest global academic competition in the world. The problems are considered incredibly hard, usually a performance at this level is only accomplished by We are former IMO medallists not affiliated with OpenAI, just put together a report and ass
r/OpenAIJul 16 - GPT-5.6 Sol Pro solves open problem in convex optimizationHackerNewsJul 16
- I used 5.6 Sol Ultra to Close a 30-Year Open Gap in Mathematical Optimization Theory, following OpenAI's CDC Proof Prompt Methodology
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 complexity gap in convex optimization that has existed since 1996. The result was formally verified in Lean. Links to everything are at the bottom of this post. Note: I am the author of the preprint and Lean repository linked below. I have a PhD in applie
r/OpenAIJul 16 - GPT-5.6 Pro Solves 5 Erdos Problems
Seen a lot of hype around 5.6 solving open math problems recently and it’s been fantastic to watch. I think it’s worth noting that Erdos problems get solved a lot more than people realise and are not reported on social media as it seems pointless now given it happens quite often. Fyi, I was part of a 2 person team that solved 728, the first Erdos problem solved by ai, as well as using 5.4 pro to r
r/OpenAIJul 14
More rising in AI & Tech
- 'AI runs on semiconductors': Why chips have become the world's most valuable technologyClimbing2.4Climbing2.4 momentum
- AI leaders sign statement asking the government to do something about automated AIClimbing1.9Climbing1.9 momentum
- Google just had its first negative cash flow quarter due to massive AI spendingClimbing2.8Climbing2.8 momentum
- How AI guardrails are impeding the work of offensive cybersecurity researchersSteady0.8Steady0.8 momentum
- Korean chip stocks tumble with SK Hynix below US listing price amid China competition fearsClimbing1.9Climbing1.9 momentum
- AMD vs. Nvidia: What AMD’s Major $5 Billion AI-Chip Deal With Anthropic Means for InvestorsSteady0.5Steady0.5 momentum