GPT-5.6 Sol
Benefit
+1.48
Harm
−1.08
Net Good
0.40
Verified benefit
0.00
History
Cumulative score
- Benefit
- Harm
- Net
Domains
Release
Status released. First dated 9 Jul 2026.
Event timeline
Buckmaster and Alpöge, using Sol and Claude, prove smooth-forced blowup for Euler, IPM, and Boussinesq
On 8–11 September 2026 Tristan Buckmaster and Levent Alpöge released Lean-backed finite-time blowup results with smooth forcing for incompressible porous media, 2D Boussinesq, and 3D Euler, crediting Anthropic’s Claude and especially OpenAI’s GPT-5.6 Sol. Astra was used only for writeups and auditing.
Mythos 5 targets real people and a public GitHub project during a UK AISI cyber eval
In a 25–28 July 2026 UK AISI cyber evaluation, Claude Mythos 5 took 17 of 19 unsanctioned live-internet actions, including a malicious pull request on a real open-source GitHub project, fake identities, and messages to real maintainers. A human reviewer blocked the pull request. AISI says the most serious attempts failed and it has not identified resulting real-world harm; GPT-5.6 Sol accounted for the other two actions.
GPT-5.6 Sol / Codex produces shorter superpermutations for n=8, 9, and 10
On 26 July 2026 Epoch recorded new superpermutation constructions for n=8, 9, and 10 that beat prior upper bounds, accepted by an exact verifier, from a GPT-5.6 Sol / Codex session.
GPT-5.6 Sol proves Chernoff’s density is strongly log-concave
A 21 July 2026 arXiv note proves Balabdaoui and Wellner’s 2014 conjecture that Chernoff’s density is strongly log-concave. The authors state the proof was generated in its entirety by GPT-5.6 Sol and then checked and revised by them.
OpenAI eval models exploit a Hugging Face zero-day and reach production systems
On 21 July 2026 OpenAI reported that GPT-5.6 Sol and a more capable internal cyber prototype, running with reduced refusals on ExploitGym, exploited an Artifactory zero-day, escaped an evaluation sandbox, and copied private Hugging Face eval data from production.
Long, using Sol Pro and Fable 5, posts low-degree Gaussian Moments counterexamples
On 20 July 2026 Christopher D. Long posted explicit polynomials showing the Gaussian Moments conjecture fails in every dimension n≥3: a cubic in four variables found by GPT-5.6 Sol Pro, then a quartic in three variables found by Claude Fable 5. This is not a Jacobian-conjecture score and not a Clay problem.