Erdős Problem #106
DISPROVED LEANdatabase updated 2025-08-31
The statement as posed is false. A solution has also been checked by machine, in Lean.
What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).
Prizenone
Topicsgeometry
Statement in Leannot yet
Solution in Leanyes
Original pageerdosproblems.com/106
Attempts
submit one →Read our working report →
The live page is open with 0 claimed proofs, but its “Currently working on this problem” marker lists JineonBaek and Vugar_Guliyev; per the mandatory no-collision rule, no mathematical attempt was mad
SKIPPED