导读 数学家，匈牙利数论家阿尔弗雷德·仁伊 (Alfred Renyi) 说，是一台将咖啡转化为定理的机器。全世界的数学家可能很快就需要更少的咖啡了
数学家，”匈牙利数论家阿尔弗雷德·仁伊 (Alfred Renyi) 说，“是一台将咖啡转化为定理的机器”。
全世界的数学家可能很快就需要更少的咖啡了——因为他们现在可以将部分定理生成工作委托给一台真正的机器。
由谷歌母公司Alphabet Inc支持的英国人工智能公司DeepMind开发了一个程序，可以帮助数学家发现模式。它已经导致在两个不相关学科的前沿发现。
该程序与牛津大学和悉尼大学的人类数学家合作，能够引导他们做出可能的假设，然后他们能够使用自己的神经回路来证明这些假设。