大型语言模型在许多任务中表现出色，但其推理能力一直备受争议。Meta 的研究人员近日发表论文，展示了他们如何利用 Transformer 模型解决数学领域一个长期存在的难题:发现动力系统的全局李雅普诺夫函数。李雅普诺夫函数可以判断一个动力系统是否稳定，例如，它可以用来预测三体问题的长期稳定性，即三个天体在引力作用下的长期运动轨迹。然而，目前还没有找到通用的方法来推导出李雅普诺夫函数，只有少数系统已知其对应的函数。为了解决这个问题，Meta 的研究人员训练了一个序

近日，世界著名数学家陶哲轩在接受《大西洋月刊》采访时表示，人工智能可能永远无法取代人类数学家。陶哲轩被誉为“世界上最伟大的在世数学家”，他认为人工智能和人类数学家之间存在着本质区别。图源备注:图片由AI生成，图片授权服务商Midjourney陶哲轩指出，研究生和人工智能之间的关键区别在于，研究生会学习和进步。人工智能在面对失败时可能会暂时纠正路线，但有时会回到之前尝试过的方法。相比之下，人类数学家会不断学习和改进，推动数学领域的发展。陶哲轩还表示，