{"data":{"id":"kill-erdos-1196-2026","statement_oneline":"Erdős Problem #1196: a 1968 conjecture on primitive sets.","renown":{"score":2,"rationale":"Erdos Problem #1196 (1968), primitive sets; known to Erdos-problem hunters.","scored_by":"founder"},"attackability":{"score":2,"rationale":"An asymptotic-bound statement without a finite counterexample witness; proof territory.","subscores":{"finite_witness":1,"oracle_cost":2,"freshness":2,"seedability":2},"scored_by":"founder"},"ranking_score":4,"verification_tier":"expert-verified","ai_systems":["GPT-5.4 Pro"],"posed_by":"Paul Erdős","years_open":null,"notability":null,"source_trackers":["https://vibemathed.com/","https://github.com/teorth/erdosproblems/wiki/AI-contributions-to-Erd%C5%91s-problems","https://www.erdosproblems.com/"],"status":"reported","added":"2026-07-01","resolution_type":"proof","resolver":"See tracker link (pending primary source)","resolution_date":"2026-04","evidence_url":"https://arxiv.org/abs/2605.00301","evidence_note":"Per the community tracker: resolved with a sharp asymptotic bound; checked, extended, and formalized in Lean. Primary reference attached.","method_note":"Reported pending primary source.","effective_status":"reported","claims":[],"status_events":[{"id":"seed-kill-erdos-1196-2026","conjecture_id":"kill-erdos-1196-2026","status":"reported","date":"2026-07-01T00: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-1196-2026/claim","verification":"email magic link"}],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}