2024年深秋，斯坦福校园附近的咖啡馆里，23岁的洪乐潼与MetaAI研究总监ShubhoSengupta进行了一场长达数小时的对话。话题聚焦于各自研究领域的交汇点：AI能否破解世界上最棘手的数学...