Ruzsa’s genus-one problem
log in with GitHub
← witness #1714
Commentary history
1 edit.
Yongxi (Aaron) Lin · 2026-08-08 04:11:19 UTC
Second-generation 28→140 branch. Upgrade the raw size-8 factor witness at 140 to the size-9 record A_140, then form A_140 + 140 A_294.
Yongxi (Aaron) Lin · 2026-08-08 04:11:19 UTC