姚期智杨植麟合著AI论文
正面 13小时前姚期智与杨植麟共同署名的论文探讨AI能否成为理论计算机科学家。研究将理论计算机科学比作数学奥林匹克，关注计算上限与证明极限。一批大语言模型包括ChatGPT参与相关测试。[AI科研营销]
AI能当理论计算机科学家吗？姚期智和杨植麟共同署名的论文给出答案。如果把理论计算机科学比作数学界的“奥林匹克”，那它研究的不是怎么修电脑，而是计算本身的上限：哪些问题算得快，数学证明的极限在哪里。现在，一批前沿大语言模型，包括ChatGPT在内的这类AI大模型，也来参加这场“奥林匹克”了。