Ruzsa’s genus-one problem
log in with GitHub
← witness #2943
Commentary history
1 edit.
David Renshaw · 2026-08-16 19:29:49 UTC
Found by legal remove/regrow search seeded from witness 2380; independently verified by literal enumeration of all ordered quadruples (exactly 12 solutions, all diagonal).
David Renshaw · 2026-08-16 19:29:49 UTC