{"data":{"id":"kill-mertens-1985","statement_oneline":"The Mertens conjecture (1897): |M(x)| < sqrt(x) for the Mertens function.","renown":{"score":3,"rationale":"Well-known 1897 conjecture implying the Riemann Hypothesis if true.","scored_by":"founder"},"attackability":{"score":1,"rationale":"Disproved nonconstructively via lattice reduction; no explicit witness is known even today.","subscores":{"finite_witness":1,"oracle_cost":1,"freshness":1,"seedability":1},"scored_by":"founder"},"ranking_score":3,"verification_tier":null,"ai_systems":[],"posed_by":null,"years_open":null,"notability":null,"source_trackers":[],"status":"confirmed","added":"1985-01-01","resolution_type":"counterexample","resolver":"A. M. Odlyzko and H. J. J. te Riele","resolution_date":"1985-01-01","evidence_url":"https://doi.org/10.1515/crll.1985.357.138","evidence_note":"Disproved via lattice reduction on zeta zeros -- nonconstructively; no explicit counterexample is known even today, though one exists below 10^(6.9x10^39).","method_note":"A kill with no witness in hand: the strangest entry in the feed, and a lesson in what 'refuted' can mean.","effective_status":"confirmed","claims":[],"status_events":[{"id":"seed-kill-mertens-1985","conjecture_id":"kill-mertens-1985","status":"confirmed","date":"1985-01-01T00:00:00.000Z","actor":"human-admin","rationale":"Loaded from unified seed data.","note":"Loaded from unified seed data."}],"public_actions":[],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}