Ruzsa’s genus-one problem
log in with GitHub
← witness #2127
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-09 14:36:14 UTC
Pattern search from the N=3925 record. Normalize it as a 25-point exact core C in (Z/25)^2, tensor with T={0,2,5,13,16,18}, then delete the exact 3-point defect hitting set at q=1845. Improves previous size 146 to 147.
Yongxi (Aaron) Lin · 2026-08-09 14:36:14 UTC