Notes
| Folder | What |
|---|---|
| lists/ | Problem lists: the 50, Hilbert, Smale, Landau, Simon |
| picks/ | Which ones we tried and why |
| supergrok-2026-08-17/ | Dated SuperGrok run (REPORT + prompts; logs stay local) |
| supergrok-2026-08-27/ | Sidon q1, Caccetta n=18, kissing-5d q1/q2, union-closed q1, two-smooth q1, R(5,5) q1, affine-013 q1, and long-gap-dilate q1 |
| chat/ | Grok Bot transcript recreation |
| grok-2026-08-27-ott/ | Grok 4.6 continuation of the 1/3–2/3 folder (q1 ladder table; q2 leftover class censuses) |
| grok-hilbert16-limit-cycles-2026-08-27/ | Grok 4.6 Hilbert 16(b) / H(n) campaign |
| grok-hilbert16-q2-2026-08-27/ | Grok 4.6 Hilbert 16(b) twenty-five ideas |
| grok-hilbert16-q3-2026-08-27/ | Grok 4.6 Hilbert 16(b) ten ideas |
| cursor-grok-2026-08-27-caccetta-q2/ | Caccetta exact orders through n=36 |
| cursor-grok-2026-08-27-kissing-5d-q3/ | kissing-5d leftover (1/4)Z^5 slices and T^5 36-clique |
| cursor-grok-2026-08-27-kissing-5d-q4/ | kissing-5d leftover n1>=22 and T^5 share 24 |
| cursor-grok-2026-08-27-caccetta-q3/ | Caccetta leftover holes from n=38 |
| grok-sidon-2026-08-27/ | Sidon second term, q2 |
| grok-c7-shannon-2026-08-27-q3/ | Grok 4.6 continuation of the C7 fifth-power folder |
| grok-c7-shannon-2026-08-27-q4/ | Grok 4.6 new-shape search in the C7 fifth-power folder |
| cursor-grok-2026-08-27-union-closed-q2/ | Union-closed q2: 2-sample ceiling, constant unchanged |
| cursor-grok-2026-08-27-ionization-q2/ | Simon ionization excess: leading coefficient still 1.1185 |
| cursor-grok-2026-08-27-ionization-q3/ | Ionization leading lift: 1.1185 to 1.1118 |
| cursor-grok-2026-08-27-ionization-q4/ | Ionization leading lift: 1.1118 to 1.1057 |
| cursor-grok-2026-08-27-ionization-q8/ | Ionization leading lift: 1.1021 to 1.1020 |
| cursor-grok-2026-08-27-ionization-q9/ | Ionization leading lift: 1.1020 to 1.1017 |
| cursor-grok-2026-08-27-ionization-q10/ | Ionization leading lift: 1.1017 to 1.1013 |
| cursor-grok-2026-08-28-ionization-q11/ | Ionization leftover: n=36 at aspect 10; leading still 1.1013 |
| cursor-grok-2026-08-29-ionization-q12/ | Ionization leftover: n=37 dump stopped ~30%; leading still 1.1010 |
| cursor-grok-2026-08-27-slt-q2/ | Lieb–Thirring CCR / Clausen envelope; 1.45576 does not beat the published 1.44655 |
| cursor-grok-2026-08-27-kissing-5d-q6/ | kissing-5d leftover four-star emptiness; star-cover at least 5 |
| cursor-grok-2026-08-27-kissing-5d-q7/ | kissing-5d leftover star-cover at least 5; 5-star SAT |
| cursor-grok-2026-08-27-kissing-5d-q8/ | kissing-5d leftover type-(0,5) five-stars and |
| grok-2026-08-27-hilbert16-d8/ | Grok 4.6 continuation of Hilbert 16(a) degree 8 |
| grok-2026-08-27-hilbert16-d8-q2/ | Grok 4.6 leftover ranks 21–26 and the next (19,3) moves |
| grok-2026-08-27-hilbert16-d8-q3/ | Grok 4.6 leftover ranks 22–26 and the open (19,3) nests |
| grok-2026-08-29-hilbert16-d8-q4/ | Grok 4.6 leftover (19,3) nests after the ranks 22–26 thicken |
| grok-2026-08-29-hilbert16-d8-q5/ | Grok 4.6 leftover even-BFS remainder and odd size 5; stopped incomplete |
| grok-2026-09-22-hilbert16-q11/ | Grok 4.6 leftover one-flip of seven q10 followup certificates; bound at least 2,415 |
| grok-2026-09-26-hilbert16-q12/ | Grok 4.6 leftover one-flip of three q11 followup certificates; bound still at least 2,415 |
| cursor-grok-2026-08-27-caccetta-q22/ | leftover SAT through n=131 | | fable-2026-09-02-smale-tau-q1/ | Smale 4 τ-conjecture: mint, exhaustive straight-line-program search for factorials and primorials, polynomial table |
Agent runbook: /AGENTS.md.