Ruzsa’s genus-one problem

← witness #3197

Commentary history

1 edit.

• David Renshaw · 2026-08-19 14:00:10 UTC

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