Ruzsa’s genus-one problem
log in with GitHub
← witness #144489
Commentary history
1 edit.
David Renshaw · 2026-09-22 12:15:29 UTC
Found in a 20-minute search around
witness#93152
using transfers between nearby moduli, block shifts, and local remove/regrow search.
David Renshaw · 2026-09-22 12:15:29 UTC