Ruzsa’s genus-one problem

← witness #1476

Commentary history

1 edit.

• Yongxi (Aaron) Lin · 2026-08-07 09:51:31 UTC

  Found by targeting the high-density moduli divisible by 5 (motivated by the 145/150/155/160 cluster) and running local search near that family.