神经网络是如何学会群乘法的数学猫MoMo酱

上一篇文章走的是哲学路线。文章的结尾把 AI 与数学的距离归结为两种能力的差别：一种是自动发现，网络能从数据里恢复本来就藏在其中的结构；另一种是主动发明，数学家为了让某类问题被看见而构造出新的概念。文章说，前一种已经和数学家的能力接上了，后一种还隔着一段路。

这一篇我们走进"自动发现"的机制内部，看看它能到达多深。

二、傅里叶变换是不可约表示展开的特例

要把正则表示分解清楚，需要引入不可约表示的概念。

什么是不可约表示