Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-07 22:28:37 UTC

Mixed-radix sum-set A=A_125+125 A_79. The 9-point N=125 record times the 6-point N=79 record gives 54 points. Reducing any bad relation modulo 125 and then modulo 79 after division proves validity.