Ruzsa’s genus-one problem

← witness #1050

Commentary history

1 edit.

• David Renshaw · 2026-08-07 04:01:04 UTC

  Found by randomized conflict-guided local search and legal remove/regrow search; independently checked with an exact ordered-pair counter before API submission.