Claims

../

2025_09_15_adenwalla: A construction credited to Sarosh Adenwalla in the site's commentary that the largest minimal signed zero-sum relation among the reciprocals of 1 through N has size at least (1 - 1/e + o(1))N; site commentary only, pending.

2026_07_16_popular_12345: A partial, AI-assisted claim of 16 July 2026 by the account popular_12345 that the largest minimal signed zero-sum relation among the reciprocals of 1 through N has size N - o(N); its Lean file covers one lemma; pending.

---