Ruzsa’s genus-one problem

← witness #3199

Commentary history

1 edit.

• David Renshaw · 2026-08-19 14:07:32 UTC

  Improves witness 2493 from 13 to 14 elements; found by valid-core ejection search and verified by literal enumeration of all ordered quadruples.