{"data":{"id":"kill-mathieu-so-2026","statement_oneline":"The Mathieu conjecture (1997) on integrals of representative functions over compact connected Lie groups, in the announced SO case.","renown":{"score":3,"rationale":"Known across algebra for its implication to the Jacobian conjecture.","scored_by":"founder"},"attackability":{"score":2,"rationale":"A counterexample is an explicit representative-function integral, exactly checkable but nontrivial to certify; scope details pending.","scored_by":"founder","subscores":{"finite_witness":3,"oracle_cost":2,"freshness":1,"seedability":2}},"ranking_score":6,"verification_tier":null,"ai_systems":[],"posed_by":null,"years_open":null,"notability":null,"source_trackers":[],"status":"reported","added":"2026-07-28","resolution_type":"counterexample","resolver":"Announced by C. D. Long (finite-difference circuit method)","resolution_date":"2026-07-28","evidence_url":"https://x.com/octonion/status/2082096577024581889","evidence_note":"Announcement states the Mathieu Conjecture is false for an SO group via the finite-difference circuit method; precise scope and writeup PENDING, curator to attach when posted.","method_note":"Mathieu's conjecture implies the Jacobian conjecture, so it has been false by implication since July 20; this announcement supplies a direct counterexample with explicit scope. The dependency graph propagating in real time, again.","effective_status":"reported","claims":[],"status_events":[{"id":"founder-batch-20260728-kill-mathieu-so-2026","conjecture_id":"kill-mathieu-so-2026","status":"reported","date":"2026-07-28T00:00:00.000Z","actor":"human-admin","rationale":"founder-curated batch, 2026-07-28","note":"Added kill entry.","evidence_url":"https://x.com/octonion/status/2082096577024581889"}],"public_actions":[{"name":"claim","method":"POST","href":"/c/kill-mathieu-so-2026/claim","verification":"email magic link"}],"resolutions":[]},"notice":"Status is community- and machine-tracked and may lag. Verify independently before investing effort."}