Ruzsa’s genus-one problem

← witness #1267

Commentary history

1 edit.

• Yongxi (Aaron) Lin · 2026-08-07 09:10:12 UTC

  Branch-and-bound search (translation symmetry fixing 0 ∈ A); proven optimal for N=140.