AI 智能体助力刷新 Erdős 重叠常数证明上界
kevrussell · x · 2026-07-04
数论中长期悬而未决的 Erdős 最小重叠常数问题迎来新进展：借助 EinsteinArena 平台上匿名 AI 搜索智能体「Hyra」给出的 n=2400 阶梯构造，并用一段简短引理将离散位移与连续位移桥接、以精确整数算术认证，作者证明 μ ≤ 0.3808669…，把 2016 年 Haugland 的上界纪录改善约 5.99e-5，已证区间收窄约 3.1%。下界仍为 White 的 μ ≥ 0.379005，问题仍未完全解决。文中还对比了 AlphaEvolve、TTT-Discover、SimpleTES 等 AI 搜索系统报告的更小浮点值，指出它们虽有真实构造但缺乏对应证明，只是候选而非定理。
「研究」频道最新
- Google 分析 1465 万条 Gemini 对话：86% 与工作无关 — xiaohu · 2026-07-27
- 开发者讨论 LLM 应用安全难点：注入、泄露与 MCP 风险 — PRINCE9553 · 2026-07-27
- RoboDojo 在 42 个仿真和 18 个真实任务上评测 30 个机器人策略 — jiqizhixin · 2026-07-27
- 研究给出 MLP 记忆存储的 Hebbian 解释 — CatAstro_Piyush · 2026-07-27
- measure zero 误区：Transformer 竟可几乎处处可逆 — CatAstro_Piyush · 2026-07-27
- 新框架称 Agent 记忆问题本质是架构问题 — Gaurav Dadhich · 2026-07-27