姚期智与杨植麟共同署名的论文探讨AI能否成为理论计算机科学家。研究将理论计算机科学比作数学奥林匹克，关注计算上限与证明极限。一批大语言模型包括ChatGPT参与相关测试。