Probably holds up, but it is not settled.

“In OpenAI’s reported DeepSWE v1.1 results, GPT-6 Astra scored 74.1% versus 72.7% for GPT-5.6 Sol.”

3 of 4 review checks done · 1 counted · 2 by the author only

Leans supported · 0.7927 under ledger-default@0.3.0 at snapshot 27745 · review checks 1 of 4 · provisional until audited. The number is model-conditional, not a share of truth.