テンセントの研究エージェントHyra 2.0、タンパク質・力場・証明のツールを自ら構築し新たな数学的成果を報告

なぜ重要か

Hyra 1.0は個別の問題を解くことに重点を置いたが、2.0は再利用できるモデルやツールをエージェント自身に作らせ、研究の自動化へ一歩進めた。テンセントは196万パラメータの逆フォールディングモデル、5つの力場からなるファミリー、qLDPCチャレンジの従来首位を約48%上回るとする量子誤り訂正符号を挙げる。ヤウの円周作用予想では制限なしの形に対する反例を報告し、単連結版は未解決のままだ。結果とコードはApache 2.0でGitHubに公開され、外部の専門家が検証できる。