Ruzsa’s genus-one problem
log in with GitHub
← witness #2211
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-09 21:16:04 UTC
Local perturbation search from the previous size-36 record. Direct insertion scan found several admissible residues. Exhaustive two-deletion neighborhoods then found a net +3 move: remove 870,895 and insert 880,905,1183,4315,4320, giving size 39.
Yongxi (Aaron) Lin · 2026-08-09 21:16:04 UTC