Ruzsa’s genus-one problem
log in with GitHub
← witness #1487
Commentary history
1 edit.
David Renshaw · 2026-08-07 12:57:30 UTC
Found by seeding breakout-weighted local search with a 26-element database transfer and growing through size 27 to 28. Independently verified by literal enumeration of all ordered quadruples.
David Renshaw · 2026-08-07 12:57:30 UTC