在人工智能领域，创新的浪潮奔涌不息，而梁文锋和杨植麟这两位极具影响力的人物，无疑是推动浪潮前行的关键力量。继今年 2 月双方论文在 Transformer 架构注意力机制优化上 “撞车” 后，4 月，他们又在数学定理证明大模型赛道上激烈交锋，引发业界高度关注。