要約 · 24時間以内

1. 中国の研究者が画期的成果：オープンソースのAIエージェント「Hyra」がAlphaEvolve、GPT、Claudeを困惑させた数学問題を解く
   arXivに投稿された新しいプレプリントが、加法的組合せ論における長年の問題を解決し、その中心的な構築は、Hy3モデルに基づくTencentのオープンソースAIエージェント「Hyra」によって提案されました。Google DeepMindのAlphaEvolve、GPT、Claudeの試みも成功しませんでしたが、Hyraの解決策はLean証明支援系で正式に検証されました。この成果は、オープンソースモデルによる初めての主要なAI数学成果として画期的であり、数学者のトーマス・ブルーム氏もこの結果を承認し、「Hyra」を共著者として挙げるほどです。