面向人工智能的拉马努金挑战

- 拉马努金机器（Ramanujan Machine）是一个由以色列理工学院发起的开源研究项目，旨在利用算法自动发现新的数学猜想（conjectures），特别是关于重要常数（如π、e、ζ(3)等）的表达式。该项目以印度天才数学家斯里尼瓦瑟·拉马努金（Srinivasa Ramanujan）命名，他生前提出了大量未经证明的数学公式。 - "Ramanujan Challenge"是该项目发起的一项公开竞赛，鼓励AI/ML研究人员和数学家开发能自动发现新数学猜想（而非单纯证明已有猜想）的算法。挑战通常包含具体的基准问题，如让AI找到某些常数的连分数表示或其他封闭形式。 - 该项目区别于传统"AI for Math"的方向：大多数AI数学研究聚焦于定理证明（proving theorems），而拉马努金机器关注的是猜想生成（conjecture generation）——即让AI提出人类尚未发现的数学真理。 - 此挑战的意义在于：如果AI能自主发现高质量的新数学猜想，将加速数学研究进程，并可能揭示人类思维尚未触及的数学结构。项目的产出已在《自然》等顶级期刊上发表过。