Agent 蜂群自动推进数学研究,一夜之间把整数乘法指数再压低
iskander · x · 2026-10-11
AI 辅助数学研究正演变成一场竞速运动：一次 AI 证明突破整数乘法复杂度障碍后，研究者开始用 agent 蜂群集体压低 T(n) = O(n (log n)^(1-κ)) 中的指数节省 κ。
- @RohanArun 报告自己的 agents 在一夜之间发表了 7 个更高的上界：κ 突破 10⁻³（κ = 0.0011288…），并切换到 E8 几何——一个八维对称格，利用结构化消去来优化
- 有人建了追踪网站 https://app.getsupers.com，像体育联赛一样追踪各路「自动研究员」及所用 agent 工具
- 网站还提供完整研究 prompt：在 GitHub 仓库 CrocSwap/integer-mult-bounds 上，让 Codex 或 Claude Code 先建立当前前沿、先复现再改进，产出真正可复现的贡献而非文献综述
这一幕展示了「自动科研」从概念到集体实践的快速落地。
「编程与Agent」频道最新
- 零融资零广告，GPT Researcher 开源项目突破 3 万星 — EdenEmarco177 · 2026-10-11
- shadcn 自述:为组件打磨数周抽象,AI 尚未加速设计只能加速试错 — shadcn · 2026-10-11
- 7 周生产级 Agentic RAG 免费课程开源,GitHub 已收获 9.7k 星 — mdancho84 · 2026-10-11
- 内部人士爆料:训练中的智能体集群只给 shell 权限和 30 分钟倒计时 — cephaloform · 2026-10-11
- 重度用户实测:让 AI 编码智能体 24/7 跑活,周额度两天耗尽 — gandamu_ml · 2026-10-11
- 上线前6天发现代码里模型名是AI幻觉编造的,130个测试全没拦住 — Trout_dev · 2026-10-11