科学家开发出能产生数学猜想的机器,这是提出数学定理的基础

科学家开发出能产生数学猜想的机器,这是提出数学定理的基础

以色列理工学院的一个研究小组设计的一台机器,可以通过探索基本数学常数之间的关系,创造出数学猜想。 最近发表在《自然》杂志上的一项研究详细介绍了这台机器,它的名字来自于自学成才的数学家Srinivasa Ramanujan,他以提出数千个数学想法和方程式而闻名。

他非常规的数学方法使他能够通过直觉获得解决问题的结果,并凭空提出公式。

这项新算法发明被设计为使用计算能力来复制这种方法,并提出了像Ramanujan这样的猜想。

这台机器是如何工作的呢?

这台机器能够产生涉及数学常数的猜想。研究人员表示,这台机器可以加快形成与基本常数有关的数学公式。它已经产生了一些容易证明的猜想,并且提出了新的分数方式来计算像π这样的常数。

这台机器已经发现了几十个新猜想;不过,研究人员也写道,看似之前未知的猜想,很容易 “仅仅是数学上的巧合,一旦计算出足够多的数字,就会被打破”,这也是为什么机器能产生的东西也是有限制的。

由于计算机生成的关于基本常数的新猜想的证明,机器可以大大促进我们的数学知识。获取更多前沿科技 信息 请持续关注:https://byteclicks.com

如果你想支持这项任务,你可以借出你的计算机处理能力,参与到Ramanujan机器社区中来。谁知道呢,你可能会在某一天得到一个以你名字命名的猜想!

上一篇:

下一篇:


标签