{"data":{"id":"kill-erdos-planar-unit-distance-2026","statement_oneline":"An Erdős conjecture on planar unit-distance graphs, standing roughly 80 years.","renown":{"score":4,"rationale":"An ~80-year-old Erdos conjecture in discrete geometry.","scored_by":"founder"},"attackability":{"score":2,"rationale":"Finite point-configuration witness, verifiable exactly; eight decades of survival argued against search, wrongly.","subscores":{"finite_witness":4,"oracle_cost":3,"freshness":1,"seedability":1},"scored_by":"founder"},"ranking_score":8,"verification_tier":"expert-verified","ai_systems":["Internal OpenAI reasoning model"],"posed_by":"Paul Erdős","years_open":80,"notability":null,"source_trackers":["https://aimath.robertj1.com/"],"status":"reported","added":"2026-05-20","resolution_type":"counterexample","resolver":"See tracker link (pending primary source)","resolution_date":"2026-05-20","evidence_url":"https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdf","evidence_note":"Per the community tracker: overturns an approximately 80-year-old central belief in discrete geometry and creates an unexpected bridge to algebraic number theory; independent work has already strengthened it. PENDING: primary arXiv reference.","method_note":"Imported from a community tracker of 16 AI-resolved problems; Reported until the primary source is attached.","effective_status":"reported","claims":[],"status_events":[{"id":"seed-kill-erdos-planar-unit-distance-2026","conjecture_id":"kill-erdos-planar-unit-distance-2026","status":"reported","date":"2026-05-20T00:00:00.000Z","actor":"human-admin","rationale":"Loaded from unified seed data.","note":"Loaded from unified seed data."}],"public_actions":[{"name":"claim","method":"POST","href":"/c/kill-erdos-planar-unit-distance-2026/claim","verification":"email magic link"}],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}