Ruzsa’s genus-one problem

← witness #3198

Commentary history

1 edit.

• David Renshaw · 2026-08-19 14:02:24 UTC

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