Comment by theanonymousone

I'm surprised there isn't more talk around their Matrix Multiplication bound: https://news.ycombinator.com/item?id=50001740

Is this of practical use, or just a proof for now?