AnalysisScienceAugust 6, 2026

Tencent's Hy3-powered agent helped settle 50-year-old sum-difference problem

Tencent's Hyra agent, powered by its Hy3 model, helped researchers settle the optimal exponent in the sum-vs.-difference problem, a 50-year-old open question. The proof is posted on arXiv (2607.27199), with code on GitHub.

1 source

Daily brief

Get tomorrow's AI brief in your inbox

More stories today

Open the live feed