OpenAI刚发了个大招,他们的模型把数学界一个挂了快80年的猜想给推翻了——埃尔德什1946年提的平面单位距离问题。简单说就是:平面上n个点最多能连出多少对距离恰好为1的点?数学家们一直觉得已知的上界差不多就是最优解了,结果AI说"不好意思,你们想多了"。这可是AI第一次自主解决数学领域的著名开放问题,不是辅助验证,是直接搞出新结论。以后数学家的竞争对手不只是同行了,还得加上GPU。#OpenAI##AI数学突破##创作活力分#
发布于 北京
OpenAI刚发了个大招,他们的模型把数学界一个挂了快80年的猜想给推翻了——埃尔德什1946年提的平面单位距离问题。简单说就是:平面上n个点最多能连出多少对距离恰好为1的点?数学家们一直觉得已知的上界差不多就是最优解了,结果AI说"不好意思,你们想多了"。这可是AI第一次自主解决数学领域的著名开放问题,不是辅助验证,是直接搞出新结论。以后数学家的竞争对手不只是同行了,还得加上GPU。#OpenAI##AI数学突破##创作活力分#