Agent 管线推进数学上界证明
kevrussell · x · 2026-07-10
帖子称这是十年来首次证明改进 Erdős minimum overlap constant 的上界，把上界从旧结果进一步压低，并给出了新的严格区间界限。作者强调做法是结合连续搜索与精确区间算术，让 AI 搜索提出候选，再由离散认证证明结果。
所属事件:AI智能体打破停滞十年的Erdős最小重叠常数上界(2 条相关)→
「编程与Agent」频道最新
- 开发者正训练「看门模型」：专门拦截提示注入与记忆投毒 — gnukeith · 2026-10-27
- 旧金山 Code Engineering 大会聚焦从编码 agent 到软件工厂 — LangChain · 2026-10-27
- 用 Claude Code 当 iPhone 取证器:挖出「已删」照片的 30 天隐藏副本 — alex_verem · 2026-10-27
- 用 Claude Code 审计 iPhone 备份，揪出被删照片的全部藏身处 — alex_verem · 2026-10-27
- Yuchen Jin：手机不是移动 IDE，而是 agent 舰队的控制台 — Yuchenj_UW · 2026-10-27
- FrontierCS 2 登陆 Kaggle：48 项任务让智能体复现 13 领域论文贡献 — MeganRisdal · 2026-10-27