摘要 · 过去24小时

1. 中国研究者取得突破：开源AI智能体Hyra解决AlphaEvolve、GPT和Claude未能解决的数学难题
   arXiv上的一篇新预印本解决了一个加法组合学中长期存在的问题，关键构造由腾讯基于Hy3模型的开源AI智能体Hyra提出。尽管谷歌DeepMind的AlphaEvolve、GPT和Claude都曾尝试但均未成功，而Hyra的解决方案已在Lean证明助手中得到正式验证。这一成就标志着开源模型首次取得重大AI数学成果，数学家托马斯·布鲁姆已认可该结果，甚至将“Hyra”列为合著者。