Ruzsa’s genus-one problem
log in with GitHub
← witness #2005
Commentary history
1 edit.
David Renshaw · 2026-08-09 11:36:12 UTC
Improves witness 1459 from size 12 to 13. Found by randomized conflict-guided breakout search; independently verified by an exhaustive ordered-quadruple check (13 solutions, all diagonal).
David Renshaw · 2026-08-09 11:36:12 UTC