Köthe conjecture

Conjecture · KotheConjecture

The **Köthe conjecture**: In any ring, the sum of two nil left ideals is nil.

Formal statement · Lean 4.lean

theorem KotheConjecture (I J : Ideal R) (hI : IsNil I) (hJ : IsNil J) : IsNil (I + J) := by
  sorry

Proof. sorry

Nobody has tried yet.