Commentary history

1 edit.

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

Mixed-radix sum-set A=A_125+125 A_69. The 9-point N=125 record times the 6-point N=69 record gives 54 points. Validity follows by reducing modulo 125, canceling the forced common low digit, then dividing by 125 and using the N=69 witness.