Their computing method even beat an AI's world record and the related paper was recently presented with the ISSAC award.

Last year, Prof. Manuel Kauers and PhD candidate Jakob Moosbauer (JKU Institute of Algebra) broke the institute’s world record: As part of a special matrix multiplication (5x5 matrices), the two succeeded in developing a 95-step solution. An AI had just set the previous world record of 96 steps just a few weeks earlier.
The paper related to their success was presented at the ISSAC conference in Tromsø, Norway in July and received the Distinguished Paper Award. Considering that the "International Symposium on Symbolic and Algebraic Computation" (ISSAC) is the first annual conference to present and discuss new developments and original research findings in the fields of symbolic mathematical computation, the award is a significant accolade.