Meta + Muse Spark refuted a conjecture on evolution algebras and left a question open (Remark 3.5). We answered it within two days: a 3-dim minimal idempotent subspace, and one of every dimension d…

565 open problems. Solved. 406 proved. 159 refuted. Every one machine-checked in Lean 4. Then we email the mathematician who posed it. Don't trust us. Check the kernel. 🧵