Standing goal: produce a novel certified dent on Lieb–Thirring (Simon 2000 #15). Keep attacking until a number moves, or the useful leftover is honestly exhausted. Residue wrap only after a real try. Do not merge.

You are Grok 4.6 (SuperGrok) at xhigh. Work only in this checkout: /workspace/projects/maths-lt-q3 (branch grok/simon-lt-q3, from origin/main). Repo: wustep/maths.

Record

Published later record is Carvalho Corso–Ried arXiv:2403.04347v2: L_{1,1,1}/L_{1,1,1}^{cl} ≤ 1.44655 (from M_3 = 0.371185695). q2 independently enclosed the Clausen form (≤ 1.4465531) and did not beat 1.44655. The 2018 FHJN trial pair was 1.456; a certified pair on this notebook still gives 1.45576 and does not beat CCR. Conjecture open.

A dent is a verified finite improvement of that printed inequality (a smaller upper bound with independent replay). Incomplete search is residue.

How

Read AGENTS.md and problems/simon-lieb-thirring/{PROBLEM,ATTACK,WALKTHROUGH,RESEARCH}.md and compute/q2/README.md first. Fetch CCR and related papers with scripts/arxiv_fetch.py before quoting. Put this campaign in compute/q3/. Reuse q1/q2 verifiers where possible. Stay RAM-light: ≤2 GB RSS, one heavy job at a time. This machine is crowded.

Ledger rule

README “Which model ran what”: one row per problem folder (problems/<slug>), not per compute/qN. Update the Lieb–Thirring folder row to include Grok 4.6 / 2026-09-02. Do not add a q3 ledger line. Do not rewrite the whole ledger table this session unless you touch only this folder’s row.

Do not write “quest” on README, PROBLEM, or WALKTHROUGH. Covering frozen. Do not touch problems/covering or share/2026-08-16. Do not rewind later README claims (ionization 1.1010; Caccetta leftover through n=152 hole 153 F4 0.34640; union-closed 0.38305; IDS d=4; Hilbert 16(a) ≥ 2384; kissing 40–44; Landau 3 0.22525 under RH; Jacobian deg ≥ 125; Sidon 0.94301; R(5,5) 43–46; RH window 0 ≤ Λ ≤ 0.2).

Commit as you go. Open a PR against main titled like “Lieb–Thirring q3: SuperGrok dent hunt”. Do not merge. Model credit only in the folder ledger row / Acknowledgements.