Ruling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2402.01011/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTRuling Out Low-rank Matrix Multiplication Tensor Decompositions with Symmetries via SAT — mentioned by NooneAtAll3https://news.ycombinator.com/item?id=39636297urn:hackerpapers:mention:2402.01011:39636297Fri, 08 Mar 2024 00:26:24 GMT<p>pretty much all progress in theoretical matmul comes from approximate decomposition tools, so results happen only when error is small enough to get fixed easily - on large multiplications on the small side even optimal (3x3)(3x3) matmul is unknown more precisely than &quot;between 19 and 23&quot; - with only tiny progress lately in ruling out some symmetrical solutions (https://arxiv.org/html/2402.01011v1)</p><p><a href="https://hackerpaper.kaipfister.de/p/2402.01011/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.CC