publication venue for New lower bounds for matrix multiplication and $operatorname {det}_3$. 11. 2023