AI数学资讯与深度分析

收录 AI数学相关 AI 新闻、产品动态和产业观察。本页收录 6 篇已发布文章。

353 道 Erdős 开放问题，解出 9 道。492 个 OEIS 猜想，证出 44 个。论文里最简单的 A 版循环和最复杂的 D 版，在 Erdős 上拿下的是同一批 9 道题。

六篇里五篇回答了此前公开的问题，两篇靠反例推翻了猜想。每篇论文都标明了哪段由人起草、哪段由模型起草，Muse Spark 前后被调用了多少次、试错了多少轮，Meta 没有披露。

五道题横跨在线学习、拍卖理论和机制设计，多数题目调用 Gemini 约百次，最难的一道约千次。单一可加买家收益近似比从 5.2 压到 3.52，每份证明都由领域专家逐一核过。

他描述的机制很具体：传出某人在做某道题的风声，就足以引来大规模算力抢先把它推平。如果这套机制成立，数学界公开讨论研究方向的习惯，会比论文发表制度更早发生变化。

他把 AI 解一道未发表研究题的账算到数十至数百美元，然后把问题掉了个头：稀缺的将不再是证明，稀缺的是能读懂证明的人。数学界一百年来第一次要为自己的产出过多做准备。

5月20号晚上，OpenAI扔了一份证明出来。 1946年Paul Erdős问过一个问题：平面上摆n个点，能有多少对点彼此距离恰好等于1？整整80年里，数学界主流的答案是——按方格排大致就接近最优，对数最多到 n^ 1+o 1 ——意思是

AI数学 资讯与深度分析