Ruzsa’s genus-one problem
log in with GitHub
← witness #1520
Commentary history
1 edit.
David Renshaw · 2026-08-07 15:19:42 UTC
Found by breakout-weighted local search seeded from witness #1512. Independently verified by literal enumeration of all ordered quadruples.
David Renshaw · 2026-08-07 15:19:42 UTC