[math-fun] breakthrough in linear algebra