拉马努金机：当数学遇上人工智能，公式也开始“自我进化”了

一、拉马努金的“神启”与AI的“灵感”

如果数学界有“天才中的天才”，那印度数学家拉马努金绝对榜上有名。他的数学公式仿佛从天而降，连他自己都说是梦中女神传授的。然而，百年之后，以色列理工学院的一群学生和教授却用人工智能复现了这种“神启”，创造了一台名为拉马努金机的算法系统。

这台机器的使命很简单：自动生成数学猜想。它不需要人类预设规则，仅通过数值计算就能提出连分数形式的公式，甚至发现人类从未想到的数学结构。

但问题来了：

• 机器真的能像拉马努金一样“直觉”地发现数学真理吗？
• 它生成的公式到底是天才的火花，还是“蒙”出来的结果？

接下来，我们将揭开这台神秘机器的面纱，看看它到底是如何工作的，又给数学界带来了哪些惊喜与争议。

---

二、AI如何“发明”公式？

拉马努金机的核心技术可以理解为两种数学家的思维模式：拆解问题和优化搜索。

1. 中间相遇法：数学界的“相亲平台”

• 原理：将一个复杂公式拆成左右两部分，分别枚举可能的组合，然后用哈希表匹配“中间值”。
• 类比：这就像数学界的“相亲平台”，左边是一个公式的半边，右边是另一个公式的半边，机器负责撮合它们，看看能不能凑成一个“天作之合”。
• 案例：比如，机器在寻找π的连分数公式时，会枚举数百万种可能的组合，直到找到一个能匹配π前1000位小数的候选公式。

2. 梯度下降优化：数学版的“爬山游戏”

• 原理：把数学猜想生成问题转化为优化问题，用梯度下降法在整数空间中寻找最优解。
• 过程：
  1. 随机选几个整数作为初始猜测。
  2. 计算这些整数的“误差”，然后调整方向，逐步逼近目标值。
  3. 为防止卡在局部最优点，还会加入“排斥力”，让解尽量分布均匀。
• 类比：这就像在一座山上找最高的峰顶，机器会不断调整方向，直到找到那个“最高点”。

---

三、拉马努金机的“神奇公式”

自2019年问世以来，拉马努金机已经生成了上百个新公式，其中一些成果让数学家们直呼“离谱”。

1. 卡塔兰常数的新连分数

• 背景：卡塔兰常数$G\approx 0.916$是一个数学界的谜团，至今没人能证明它是有理数还是无理数。
• 机器发现：
  $$G=2^5$$