Agent 管线推进数学上界证明
kevrussell · x · 2026-07-10
帖子称这是十年来首次证明改进 Erdős minimum overlap constant 的上界，把上界从旧结果进一步压低，并给出了新的严格区间界限。作者强调做法是结合连续搜索与精确区间算术，让 AI 搜索提出候选，再由离散认证证明结果。
所属事件:AI智能体打破停滞十年的Erdős最小重叠常数上界(2 条相关)→
「编程与Agent」频道最新
- Stanford 和 Anthropic 用图记忆让 agent 代码准确率提升 36% — blaizedsouza · 2026-07-21
- Agent 开发者反复发现同一件事：链、循环和图其实是一回事 — blaizedsouza · 2026-07-21
- AI 工程师必看的六种 agent 模式：从串联到编排器 — blaizedsouza · 2026-07-21
- 开发者做出可断点续跑的 agent swarm 运行时 — Instance_Not_Found · 2026-07-21
- Claude Code 提示词优化器在执行前注入上下文 — tom_doerr · 2026-07-21
- DavidAU 协作版据称提升了 Qwen 3.6 27B 的长上下文 Agent 表现 — My_Unbiased_Opinion · 2026-07-21