Strassen算法的数学思想是如何想到的?

在看到《算法导论》这本书的时候,可以验证Strassen算法的正确性,但是关于矩阵相乘Strassen算法的数学思想如何想到的?怎样去构建相关的式子?

核心思想是合并同类项减少乘法次数,就好比2x3+2x4=2x(3+4),只不过项数变多了
参考练习4.2-7

最初怎么想的不知道,国内有一篇文章通过多项式的角度去推导式子的,但是是建立确实能较少乘法次数的基础上关于Strassen矩阵乘法的探讨

http://www.aboutyun.com/thread-10002-1-1.html