#Coxeter群

数学家和 AI 研究者合训了个小 Transformer，让它学三角形铺砌对称群的语言，然后靠看模型注意力模式想出并证明了一个数学猜想。想做可解释性或数学交叉研究的人可以看看这个范式。