Agent 管线推进数学上界证明
kevrussell · x · 2026-07-10
帖子称这是十年来首次证明改进 Erdős minimum overlap constant 的上界，把上界从旧结果进一步压低，并给出了新的严格区间界限。作者强调做法是结合连续搜索与精确区间算术，让 AI 搜索提出候选，再由离散认证证明结果。
所属事件:AI智能体打破停滞十年的Erdős最小重叠常数上界(2 条相关)→
「编程与Agent」频道最新
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用 prompt 造硬件:一次对话让智能体组装定制设备寄到家 — paraschopra · 2026-09-11