姚期智、杨植麟联合署名论文：9个前沿大模型，如何证明人类数学极限？

AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。 如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：