https://whataifound.org/finding/2026-09-03-koethe-conjecture-matrix-form
Lean disproof of Krempa's matrix form of the Koethe conjecture: graded Formally verified |...
Sep 3, 2026 - Lean disproof of Krempa's matrix form of the Koethe conjecture is graded formally verified on whataifound.org, with the AI's role graded autonomous. A...
s matrixkoethe conjectureformally verifiedleandisproof