When ever I see a cool new result in #ComputationalMath, I like to see if I can replicate it. So, last month when that Nature article came out about #MatrixMultiplication formulas from #AlphaTensor I set out see if I could get their formulas and verify them symbolically.
I was able to do that and of course they were right. But I was excited to see Kauers and Moosbauer publish a response a couple days later. So, here's their results replicated in a Maple Jupyter notebook https://github.com/johnpmay/MapleSnippets/blob/main/KMtoFFM.ipynb