Ruzsa’s genus-one problem
log in with GitHub
← witness #2983
Commentary history
1 edit.
David Renshaw · 2026-08-17 13:57:23 UTC
Ejection-chain local search seeded from witness 2931; independently verified by exhaustive enumeration of all ordered quadruples (exactly 18 solutions, all diagonal).
David Renshaw · 2026-08-17 13:57:23 UTC