新闻 
一个着名的数学难题 AI给出了答案 数学界炸了锅…
一个着名的数学难题 AI给出了答案 数学界炸了锅…一个着名的数学难题 AI给出了答案 数学界炸了锅…
单位距离问题讨论的是如何排列n个点，使彼此距离正好为一个单位的点对尽可能多。图源：OpenAI
一道困扰人类近80年的着名数学难题，近日被人工智能给出突破性答案，引发数学界震动。OpenAI宣布，其模型在没有人类协助推导的情况下，解决了由着名数学家保罗·埃尔德什提出的“单位距离问题”相关猜想。
OpenAI向模型输入的单位距离问题提示。图源：OpenAI
单位距离问题最简单的版本是：如果在平面上放置n个点，最多能有多少对点之间的距离正好等于一个单位。埃尔德什1946年曾证明，将点排列成网格可以产生大量这样的点对，并猜想没有其他排列方式能明显做得更好。
OpenAI模型找到了一种比埃尔德什网格构造更好的排列方式，因此这份成果并非证明埃尔德什猜想，而是给出反例。数学界因此认为，这一结果具有里程碑意义。
OpenAI模型输出的证明结果。图源：OpenAI
普林斯顿大学教授Noga Alon表示，AI完成了许多优秀人类研究者尝试过却没有完成的事情。多伦多大学助理教授Daniel Litt称，这是第一个由AI自主产出的重要数学结果，本身就令人兴奋，而不只是某种先行信号。
菲尔兹奖得主、法兰西公学院教授Timothy Gowers也表示，单位距离问题的解答是AI数学领域的一个里程碑。如果这篇论文由人类写成并提交给《数学年刊》，他会毫不犹豫建议接收。他还认为，即便AI不再变得更聪明，人类也已经进入一个新时代，未来将很难在解决数学问题上与AI竞争。
OpenAI研究人员起初也难以相信这个结果。公司数学家Mehtaab Sawhney表示，自己一开始并不相信，于是团队开始寻找错误，请外部专家核验，并用AI编程代理检查证明过程。经过反复阅读和检查后，结果看起来可信，而且相当了不起。
[物价飞涨的时候 这样省钱购物很爽]
| 分享: |
| 注： | 在此页阅读全文 |
| 延伸阅读 |
推荐: