从欧拉到人工智能：数学常数的统一公式

本研究解决了众多与常数$\pi$相关的公式之间的联系缺乏统一结构的问题。通过现代大语言模型和新颖的数学算法，我们提出了一种系统方法来发现和证明公式等同性，并成功证明了超过三分之一的公式可以从单一数学对象推导而来。这项研究为数学知识的自动统一铺平了道路，并在科学领域的连接发现中具有潜在影响。