就在AI推翻80年数学猜想震惊学界仅仅一周后,又一个屹立了半个世纪的猜想轰然倒塌。这一次,灵感同样来自那项AI技术,但全部工作都由人类数学家完成。英国曼彻斯特大学的托马斯·布卢姆和他的同事借用类似思路,一举否定了埃尔德什在1976年提出的“和积猜想”。

上周,OpenAI未发布的AI模型刚刚推翻了埃尔德什自认“对几何学最惊人的贡献”——单位距离问题。那个困扰数学家数十年的难题,涉及平面上点与点之间等距连接的最大数量。埃尔德什曾给出一个上限,学界普遍认为正确,AI却借助代数数论的冷门技巧,在极高维度构造出复杂结构,重新排布点的位置,让这个上限大幅提升。被AI抢先一步,不少数学家坦言没料到自己有生之年能看到埃尔德什的猜想被证伪。

打开网易新闻 查看精彩图片

如今,布卢姆团队如法炮制。见AI用数论高招破解几何难题后,他们立刻意识到这招同样可以对付和积猜想。“一旦知道某件事可能行得通,你就会愿意再努把力,看能不能真把它拿下来。”布卢姆说。不到一周的时间,半世纪悬案就在人类手中告破,数学界再次感受到跨界思路的强大冲击。