

tt
1.8K posts




“陈克明”,公开道歉:全面停止生产、销售带有“手擀”相关表述的产品!去年公司营收、利润双降


这太夸张了。。。OpenAI 的一个模型推翻了一个困扰人类将近80年的数学猜想。 这个问题是Erdős在1946年提出来的: 如果你在平面上放n个点,最多有多少对点之间的距离刚好等于1? 过去数学界长期相信,方格网格类构造已经差不多最优,最多也就是n^{1+o(1)}这种「接近线性」的增长。 结果OpenAI的模型找到了一个反例族。 它可以做到n^{1+δ}个单位距离对。 这个δ不是会慢慢趋近0的小尾巴,而是固定正数。 这意味着,大家以为那里是一堵墙,结果AI思考了一下就从旁边挖了一条数论隧道过去。 最关键的地方在于: 它不是一个专门为这个问题优化的数学模型。 OpenAI说,这是一个通用推理模型,在测试一批Erdős问题时,自己产出了证明。 证明后来由外部人类顶级数学家检查,发现是正确的。 这个事情非同凡响。 英国数学家、作家,1998年菲尔兹奖得主Timothy Gowers @wtgowers 爵士说: 如果这是人写的论文,他会毫不犹豫建议顶刊接收,并且认为此前没有AI生成证明接近这个级别。 这句话基本等于数学圈的认可了 说明这不是玩具结果。 这是真正的前沿研究级贡献。 当然,这个问题还没有被完全解决。 OpenAI模型推翻的是Erdős关于n^{1+o(1)}上界的猜想,最终最优答案仍然未知。 但这已经够吓人了,它说明AI开始越过「帮研究员干活」这个阶段。 它开始自己发现路线,自己连接领域。 自己在专家们默认不会下注的地方下注。 一个几何问题,数学家沿着几何直觉走了几十年。 AI最后从代数数论里挖穿了。 未来的科研突破,可能不会再长得像人类想象中的突破。

