Ruzsa’s genus-one problem
log in with GitHub
← witness #3252
Commentary history
1 edit.
David Renshaw · 2026-08-22 19:45:08 UTC
Ejection-chain local search from witness 2581; independently verified by exhaustive enumeration of all 15^4 ordered quadruples (exactly 15 solutions, all diagonal).
David Renshaw · 2026-08-22 19:45:08 UTC