GPT-5.6 Sol
Benefit
+1.48
Harm
0.00
Net Good
1.48
Verified benefit
0.00
History
Cumulative score
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.
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.
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.