一个由 Hy3 驱动的研究代理刚刚帮助解决了一个长达 50 年的和集与差集问题。

Reddit r/singularity 新闻
ai-research ai-agent mathematics arxiv tencent hy3

摘要

腾讯报告称，其由 Hy3 驱动的 Hyra 研究代理协助解决了一个 50 年之久的数学和集与差集问题，相关论文已发表于 arXiv。

arXiv:[2607.27199] 确定和集与差集的最优指数 GitHub:GitHub - linhaowei1/sum-diff-proof · GitHub 上周我看到腾讯分享说，其 Hyra 代理和 Hy3 模型帮助研究人员解决了和集与差集问题中的最优指数。该论文已发表于 arXiv。论文明确指出，Hyra 通过优化有限集构造，在探索和优化阶段提供了支持。这让我想起了最近这里的一篇帖子，显示 arXiv 上新的数学论文激增。评论里提出了各种各样的想法：新冠、研究瓶颈……还有 AI，甚至逼近的奇点。也许我想多了，但我感觉这不会是孤例。随便想想：我们是不是正在走向 AI 成为标准研究工具？哈哈
查看原文

相似文章

Hy3（1分钟阅读）

TLDR AI

腾讯发布了 Hy3，这是一个 295B 参数的 MoE 模型，拥有 21B 活跃参数，性能超越同尺寸模型，并可媲美参数规模大 2 到 5 倍的开源旗舰模型。该模型采用 Apache 2.0 许可证，可在 Hugging Face 上获取，并在 OpenRouter 上免费使用至 7 月 21 日。