谷歌科学家发布自动猜想系统，已“猜想”出上千个数学新公式

大数据文摘作品作者：Mordechai Rorvig来源：vice编译：Hippo一个好的猜想对数学家来说就像是一种电磁力。好的数学猜想可以以极其精确和简洁的方式陈述了极其深刻的事物、精彩地证明或反推其真理。但是提出一个好的猜想是异常困难的。它必须足够深刻，以引起好奇和探究，但又不能模糊不清，以至于一开始根本无从窥见其真容。 数学上许多最著名的问题都是猜想，而不是解决方案，例如“费马大定理”（由17世纪法国数学家皮耶·德·费马提出，历经三百多年，最终在1995年由英国数学家安德鲁·怀尔斯宣布将其证明）。现在，来自以色列理工学院和谷歌特拉维夫办公室的一组研究人员提出了一个自动猜想系统，称为Ramanujan机器，以数学家Srinivasa Ramanujan的名字命名，Sri ………………………………