{"data":{"id":"kill-anderson-local-ring-2026","statement_oneline":"Anderson's quasi-complete local-ring conjecture (commutative algebra).","renown":{"score":1,"rationale":"Specialist commutative-algebra conjecture.","scored_by":"founder"},"attackability":{"score":1,"rationale":"The counterexample is an algebraic object requiring ~19,000 lines of formalization to verify; the opposite of a cheap oracle.","subscores":{"finite_witness":2,"oracle_cost":1,"freshness":2,"seedability":1},"scored_by":"founder"},"ranking_score":1,"verification_tier":"site-confirmed","ai_systems":["Rethlas","Archon"],"posed_by":null,"years_open":null,"notability":null,"source_trackers":["https://aimath.robertj1.com/"],"status":"reported","added":"2026-04-04","resolution_type":"counterexample","resolver":"See tracker link (pending primary source)","resolution_date":"2026-04-04","evidence_url":"https://arxiv.org/abs/2604.03789","evidence_note":"Per the community tracker: a genuine commutative-algebra counterexample whose ~19,000-line formalization may prove as influential methodologically as the result. Primary reference attached.","method_note":"Reported pending primary source.","effective_status":"reported","claims":[],"status_events":[{"id":"seed-kill-anderson-local-ring-2026","conjecture_id":"kill-anderson-local-ring-2026","status":"reported","date":"2026-04-04T00: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-anderson-local-ring-2026/claim","verification":"email magic link"}],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}