欢迎大家来到IT世界,在知识的湖畔探索吧!
挑战人类智慧极限的数学，可能不再是人类的专长了。
利用AI和计算机自动化，以色列理工学院的研究人员开发了一种“数学机器”，可以创建数学猜想，其名为“拉马努金机器”。他们已经使用它来生成许多以前未知的公式，这些公式是新定理的起点。相关论文发表于《自然》杂志。
欢迎大家来到IT世界,在知识的湖畔探索吧!
而之所以使用“拉马努金”命名，就要提到一位著名的数学家。
挚爱数学一生的人
“若给数学成就打分，那么自己五十分，希尔伯特九十分，而拉马努金一百分。”
著名数学家哈代在评价拉马努金时这样说到。
每当数学家们提起拉马努金时，总会大口称赞他发现的那些神奇的公式，而且只能用奇异、壮观来描述。拉马努金总是说，自己经常靠一些“直觉”来写出一些不平凡的公式。在旁人看来，他仿佛住在上帝的脚边，随手便能拈来一些智慧果实捧给凡人看。
拉马努金写出了拉马努金公式，也在整数分拆、超几何函数、发散级数等数学领域有不少成果，他的贡献不胜枚举，足以影响数学界百年。他独立发现了近3900个数学公式和命题，几乎没受过正规的高等数学教育的他，却能凭直觉写出不平凡的定理和公式，且往往被证明是正确的。
然而令人遗憾的是，在1920年，年仅三十三岁的拉马努金因病在印度去世。拉马努金留下了一些手稿，这无疑是他留给数学界的一笔珍贵财富。
AI研究数学，怪谈？
人工智能本身就是一堆数字，然后让数字去研究数学？事实上这并非天方夜谭，以色列科技大学的研究人员开发了一种能够自动生成数学猜想的“猜想生成器”。因为它能够不经证明，用人工智能和计算机自动化“模仿”直觉，生成猜想。而拉马努金最著名的能力便是对未经证明的数学公式的直观表达。
与人类缓慢的研究相比，拉马努金机器只花了几个小时，就发现了数学王子高斯穷尽一生发现的所有圆周率公式，以及数十个高斯也未发现的新公式。研究人员称：“类似思路可以在未来引领数学猜想的发展，并为数学研究提供一个强力工具。”
目前，研究小组已经启动了一个网站“RamanujanMachine.com”，该网站旨在通过提供算法工具来激发公众更多地参与数学研究，该算法工具将可供数学家和广大公众使用。甚至在文章发表之前，数百名学生，专家和业余数学家都已经注册了该网站。
不过，尽管计算机可能能够提出数学陈述，甚至证明它们是正确的，但是如果没有人类的干预，AI还是无法进行计算的，仅仅从技术上说是正确的而已。但是仅仅是这一小步，对于广大数学家来说就已经算是很大的帮助。索菲亚肯定，未来拉马努金机器将帮助人类更好地研究数学问题。
免责声明：本站所有文章内容,图片，视频等均是来源于用户投稿和互联网及文摘转载整编而成，不代表本站观点，不承担相关法律责任。其著作权各归其原作者或其出版社所有。如发现本站有涉嫌抄袭侵权/违法违规的内容,侵犯到您的权益，请在线联系站长,一经查实,本站将立刻删除。 本文来自网络,若有侵权，请联系删除，如若转载，请注明出处：https://itzsg.com/121707.html
