Digest · past 24h

1. Chinese Researchers Achieve Breakthrough: Open-Source AI Agent 'Hyra' Solves Math Problem That Stumped AlphaEvolve, GPT, and Claude
   A new preprint on arXiv settles a long-standing problem in additive combinatorics, with the key construction proposed by Hyra, an open-source AI agent from Tencent based on the Hy3 model. Despite attempts by AlphaEvolve from Google DeepMind, GPT, and Claude, none succeeded, and Hyra's solution was formally verified in the Lean proof assistant. The achievement marks a milestone as the first major AI math result by an open-source model, and mathematician Thomas Bloom has endorsed the result, even listing 'Hyra' as a co-author.