新智元
26-10-13 10:46 微博认证:新智元官方微博

数学界又一重大突破!

这在这几天,数学家、极客和成群的AI智能体,展开了一场震撼的接力。

仅仅24小时,他们就将OpenAI第109号数学难题(整数乘法下界)的核心参数k,从2^−182,一路拉升到了0.00129!

一天之内,151个PR疯狂涌入,新增代码量超过2.6亿行。

研究者Rohan Arun等人敏锐地察觉到了这个项目的潜力,直接打开了「潘多拉魔盒」——他们释放了几十个由Codex和Claude驱动的AI智能体。

在这151个PR中,数据揭示了一个有趣现象:89个标注了使用了Codex,48个标注了Claude。

Codex Astra high是无情的「速度狂魔」。Claude Opus 5.5则是优雅的「结构大师」。

但这依然不够,真正让大局逆转的,是人类的直觉。此时,人类研究者Jacob Sussman犹如天降神兵,他创造性地引入一个高维数学概念:E8格点几何。

或许,在未来的科研中,AI是无敌的「推土机」和验证机,但最顶尖的突破,依然需要人类。

但今天,只要你有一个绝佳的直觉,加上一个每月20美元的Codex或Claude,你就可以与顶尖大脑同台竞技!

或许在未来,证明黎曼猜想的,是某个普通人类,和全球的AI蜂群。