在过去的一个世纪多里，数学家们几乎无计可施的李雅普诺夫函数问题，最近终于在人工智能的协助下获得了突破。这一成就由Meta和巴黎理工学院的研究人员共同实现，标志着AI在数学推理能力上的新高度。这项研究的论文标题为《Global Lyapunov ...