Tencent、Hyraが57年間にわたる和差境界に対する厳密な構成を発見したと発表

Why it matters

A verified proof would show an AI research agent converting computational search into a general mathematical construction. It would also give Tencent a credible flagship application for Hyra beyond paper retrieval and routine analysis.

Tencent Hyは7月30日に、同社の研究エージェントHyraとモデルHy3が、長年にわたる加法組合せ論の問題において1969年の上界を厳密にする明示的な構成を見つけたと発表した。

問題は、有限な整数集合の和集合が差集合よりどれだけ速く成長し得るかを問うものである。有限かつ空でない集合 $A$ に対して、和集合 $A+A$ は $A$ の元 $a,b$ に対するすべての和 $a+b$ を含み、差集合 $A-A$ はすべての差 $a-b$ を含む。

目標は、すべてのそのような $A$ に対して次を満たす最小の普遍指数 $c$ である。

$$ \frac{|A+A|}{|A|} \leq \left(\frac{|A-A|}{|A|}\right)^c $$

Tencentによれば、1969年の定理は $c=2$ が十分であることを示している。2が最小であることを証明するには、その比が上界に近づく無限族の集合が必要となる。

Tencentの結果を示す図は、Hyra と Hy3 が $A_K$ と表記される明示的な族を生成し、対応する指数が $K$ が無限大に近づくにつれて2に近づくと述べている。もしその構成と証明が査読に耐えれば、この結果は既知の普遍的不等式と既存の最良の明示的下界構成との間のギャップを埋めることになる。

A theorem claim, rather than another search score

明示的な族と、高スコアの有限例との違いがTencentの主張の核心である。

Tencentの図表は一連の先行結果を列挙しており、Marica構成で1.0290、Freiman-Pigarev構成で1.0598、Penman-Wells族で1.1259などが挙げられている。さらにAI支援探索による結果として、SimpleTESで1.1440、SimpleTESの事後トレーニング後で1.1449、GPT-5.5を用い人間の指導を受けたとされるCodexシステムで1.2851が記されている。

SimpleTESの研究者たちは、自らの成果を正確な評価器によって駆動される有限集合探索と説明している。彼らのシステムは和・差の重複度テーブルを保持しつつ、測定された比を改善するために構造化された等差数列の骨格を変更した。これは普遍指数が最適であることを示す漸近的な族ではなく、より強い個別の構成を生み出したに過ぎない。

TencentはHyraがその第二の閾値を越えたと主張する。今回の発表は単に数値記録を更新するものではない。指数を最終的に2まで押し上げることを意図した族を提示している。

ただし数学的結果は依然としてTencentの定理の主張として扱われるべきである。Xでの発表は結論と比較図を示しているに過ぎない。独立した検証には数学者が完全な構成と証明を精査することが必要だ。

Hyra gets a flagship case nine days after launch

Tencentは7月21日にHyra-1.0を発表し、Hunyuan Research Agentを性能重視の研究・工学タスク向けに構築されたシステムと説明した。TencentはHyraが自己対戦、自己評価、ユーザーフィードバックを通じて戦略を再帰的に改善できると述べている。

和と差の結果は、その導入から9日後にTencentに具体的な事例研究をもたらした。またHyraを、言語モデルと自動評価器を組み合わせてアルゴリズムや数学的構成を探索するGoogle DeepMindのAlphaEvolveと同カテゴリの研究エージェントに位置づけることにもなる。

両システムは、提案された解が自動的にスコア付けまたは検証できる問題に焦点を当てる。その構造により、エージェントは候補を生成し、測定し、有用なアイデアを保持し、単一の研究者には不可能な規模でそのプロセスを繰り返すことができる。より難しいのは、高スコアの計算対象を一般的な構成と証明に変換することである。Tencentの発表は、ここでHyraがその移行を実現したと述べている。

HyraはHy3と組んで動作した。Hy3はTencentが4月にプレビューした後、7月6日に公式リリースした。オープンウェイトモデルは、総パラメータ2950億、稼働パラメータ210億、文脈ウィンドウ256KトークンというMixture-of-Expertsアーキテクチャを用いる。Tencentは重みをApache 2.0ライセンスで公開した。

TencentはHy3を推論・ツール使用・エージェントワークフロー周辺の能力に位置づけ、Tencent製品からのフィードバックを取り込むモデル開発ループで支えている。Hyraはこれらの能力の周りに研究用の枠組みを追加する：モデルが候補アプローチを提案・解析し、評価と再帰探索が作業を測定可能な目的に向けて推進する。

このタイミングはTencentのより大きなモデル戦略に寄与する。オープンウェイトと低推論コストによりHy3は開発者に利用可能になり、Hyraは基盤モデル上で有用なシステムを構築できることの証拠を提供する。和－差問題への検証可能な解は、単なるベンチマーク表以上の強い根拠をTencentにもたらすだろう：正確な命題、既知の上界、行ごとに照合可能な証明を伴うAI支援の数学的結果である。