腾讯混元AI智能体破解50年数学难题
teortaxesTex · x · 2026-07-30
腾讯混元团队宣布，在研究智能体 Hyra 和 Hy3 模型的辅助下，成功解决了一个存在 50 多年的组合数学难题。
该问题探讨对于有限整数集合 \(A\)，其和集 \(|A+A|\) 的增长速度能比差集 \(|A-A|\) 快多少。1969 年的定理曾给出其指数上限为 2，但半个世纪以来，学界构造出的最佳例子指数仅勉强超过 1.1。
研究团队找到了一种显式构造方法，证明了该最优指数确实精确为 2。目前，团队已公开了相关论文、Hyra 博客详情以及形式化证明代码。
「编程与Agent」频道最新
- 用 Claude Code 自动压缩图片：Zipic CLI 实战技巧 — yihui_indie · 2026-07-30
- X 平台开放 Chat API，支持开发者直接构建 AI 客服智能体 — XFreeze · 2026-07-30
- 对抗性防御探讨：仅靠提示词无法阻止 AI Agent 越权 — Bedrovelsen · 2026-07-30
- 美团开源 CAST：用游戏求解器教 LLM 玩长线决策游戏 — meituan-longcat · 2026-07-30
- Cursor 推出 iPad 版本，新增 PR 收件箱功能 — op7418 · 2026-07-30
- Google Search Console 支持社媒索引追踪，CrawlRaven 拟集成 MCP — ayushtweetshere · 2026-07-30