数学界又一重大突破!
这在这几天,数学家、极客和成群的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蜂群。
