去年给您介绍了人工智能在很多领域的实际应用。今天我们来谈谈人工智能在基础数学方面的最新进展。

如果您在印度学数学，那大概率您的数学老师会要求您看2015年拍的一部电影叫做《The Man Who Knew Infinity 》《知无涯者》这是一部根据真实故事改编的英国电影，讲述了印度的一位天才数学家拉马努金（Ramanujan)的传奇而短暂的一生。为什么要提他呢？因为Google X, 那个在2010年成立的神秘的谷歌X实验室支持的项目『拉马努金机』就是以他的名字命名的。

您觉得直觉能被人工智能模拟吗？带着这个问题，我先来简单地介绍一下拉马努金。

拉马努金

印度天才数学家拉马努金Ramanujan

但是拉马努金当时在剑桥的生活和学习并不顺利，因为他的数学研究完全依赖于直觉和猜想。当时很多数学系的教授都读不懂他的笔记。当教授们问他怎么得出那些复杂的公式，他回答那是神的指引。所以他在剑桥期间，受到了各种质疑。拉马努金是素食主义者，由于长期营养不良和肝脏寄生虫，他在32岁就去世了。拉马努金一生写了4000个公式，大都是关于数学常数的。这些公式长什么样呢？

拉马努金的数学公式例子

看着有没有头疼？

拉马努金机项目

现在我来回答开头提出的问题，人工智能可以模拟人的直觉吗？答案是肯定的。谷歌X实验室支持的『拉马努金机』项目就是利用人工智能(AI)自动生成关于常数的数学猜想。比如说圆周率π是一个常数，是任何圆的周长与该圆的直径之比，约为3.1415926. 这个看起来简单，但是能够计算出来，依靠的是几百年来数学工作者的积累。其实数学家高斯也经常凭直觉给圆周率π做猜想，而这耗费了高斯整整一生的时间。

人工智能模拟花了多长时间呢？几个小时而已，拉马努金机就已经发现了高斯一生中发现的所有和π相关的公式，还包括大量其他数学家也没能猜想出来的公式。

拉马努金机项目在2019年开始上线，在今年2021年2月3 日，在《Nature》自然杂志上刊登了一篇文章《用拉马努金机生成关于基本常数的猜想》。

拉马努金机项目在《Nature》自然杂志上刊登论文

拉马努金机的应用

纵观人类的发展，实际应用层出不穷，多是运用科技手段来提高解决实际问题的效率。而基础科学的突破却屈指可数，而大部分突破都是源于极少数天才的直觉和推想。到目前为止大家耳熟能详的天才数量有限，比如牛顿，爱因斯坦。要是人工智能可以模拟这些天才的直觉，相当于帮我们创造了无数个天才。而且也帮人类科学家克服了人性的弱点，比如一些学者非常功利，整天靠发论文数来获得名誉地位，而不注重研究的实际价值。如果基础研究的水平大大提升的话，未来会有更多基于这些猜想的应用产生。

如何参与拉马努金机项目？

有三个方式您可以参与这个项目：

1. 第一，如果您没时间参与，可以贡献自己电脑的算力。在您不用时，让您的计算机发现新的猜想。 如果这个猜想是在您的计算机上得出的，就会以您的名字来命名这个猜想！

2. 第二，如果您从事基础数学研究，可以对拉马努金机发现的任何猜想提出证明, 那个公式就会以您的名字命名。

3. 第三，如果您有时间敲代码，可以提出或开发的算法来探索新的数学结构，那么您就可以自己的的名字命名该算法。

如果您对拉马努金机项目感兴趣，可以直接和他们联系ramanujan.machine@gmail.com。

我录了一个视频，供您参考。