【拉马努金机】直觉产生器

【拉马努金机】直觉产生器

利用AI和计算机自动化，Technion（以色列理工学院）的研究人员开发了一种“猜想生成器”，可以创建数学猜想，这些猜想被视为产生数学定理的起点。他们已经使用它来生成许多以前未知的公式。这项研究发表在《 自然 》杂志上，由以色列理工学院（Technion）的电气工程学院（Andrew and Erna Viterbi）的不同系的大学生在助理教授Ido Kaminer的指导下进行。

以色列理工学院的研究人员提出并研究了一个新想法：使用计算机算法自动生成以数学常数公式形式出现的数学猜想。

猜想是尚未证明的数学结论或命题；一旦猜想得到证明，它就会成为一个定理。关于基本常数的数学猜想的发现相对较少，其来源通常在于数学天才和超群的人类直觉。牛顿，黎曼，哥德巴赫，高斯，欧拉和拉马努金就是这类天才的例子，该文提出的新方法以拉马努金（Srinivasa Ramanujan）命名。

。。。。