{"data":{"id":"kill-rj-equidistribution-of-dense-sidon-sumsets","statement_oneline":"Equidistribution of dense Sidon sumsets.","renown":{"score":1,"rationale":"Tracker import; renown not individually scored","scored_by":"founder"},"attackability":{"score":null,"subscores":null,"rationale":"not scored at import","scored_by":null},"verification_tier":"site-confirmed","ai_systems":["ChatGPT","Aristotle"],"posed_by":null,"years_open":null,"notability":null,"source_trackers":["https://aimath.robertj1.com/"],"status":"reported","ranking_score":null,"added":"2026-02-06","resolution_type":"proof","resolver":"ChatGPT / Aristotle","resolution_date":"2026-02-06","evidence_url":"https://github.com/plby/lean-proofs/blob/main/src/latest/ErdosProblems/Erdos154.lean","evidence_note":"Imported from aimath.robertj1.com (curated tracker of 239 AI-resolved problems); primary evidence attached from the source tracker citation.","method_note":null,"effective_status":"reported","claims":[],"status_events":[{"id":"seed-kill-rj-equidistribution-of-dense-sidon-sumsets","conjecture_id":"kill-rj-equidistribution-of-dense-sidon-sumsets","status":"reported","date":"2026-02-06T00: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-rj-equidistribution-of-dense-sidon-sumsets/claim","verification":"email magic link"}],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}