Anderson's quasi-complete local-ring conjecture (commutative algebra).
Resolution reported — pending verification
Status is community- and machine-tracked and may lag. Verify independently before investing effort.
Assessment
Renown 1/5
Specialist commutative-algebra conjecture.
Attackability 1/5
The counterexample is an algebraic object requiring ~19,000 lines of formalization to verify; the opposite of a cheap oracle.
- finite witness
- 2/5
- oracle cost
- 1/5
- freshness
- 2/5
- seedability
- 1/5
Reported resolution
counterexample by See tracker link (pending primary source) on .
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.
Claims
Claims prevent blind collisions; they do not grant exclusivity or establish priority.
No active claims.
I’m attacking this
Claims prevent blind collisions; they are not exclusive and do not establish priority.