就像天才数学家Srinivasa Aiyangar Ramanujan一样，以色列理工学院的研究小组也开发了一个名为Ramanujan的系统，该系统可以查找公式。
拉马努詹（Ramanujan）的昵称是印度魔术师，他发现了近4,000个定理和公式，包括圆周公式，并回答说睡觉时女神知道了这一证据。拉马努让（Ramanujan）于1920年去世，享年32岁，但是他发现的所有定理和数学计算都需要时间来证明，直到他去世后80年，而且其中大多数是正确的，因此他被称为天才，他阐明了人类的未来。数学。
Ramanujan（以Ramanujan命名）是一种AI，它以连接的分母中包含的分数形式预测非理性数，例如π和Napier数e。由拉马努詹系统预测的连接的特征在于部分a 0 ·a 1 ·a 2和b 0 ·b 1 ·b 2中的一定规律性。 n和b n的实际预测方程为1、2、3、4…Me 3、6、9、12…等具有规律性。另外，由人类数学家来证明预测的公式。
Ramanujan已经预测了19个方程，并且事实证明，加泰罗尼亚语的方程比迄今发现的更为精确。但是，没有发现任何证据可以证明Apéry常数的公式。如果项目经理开发了Ramanujan系统智能手机应用程序的版本以利用世界各地存在的智能手机操作处理功能，则希望发现更多的公式。相关信息可以在这里找到。