Ruzsa’s genus-one problem

← witness #3200

Commentary history

1 edit.

• David Renshaw · 2026-08-19 14:09:56 UTC

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