A Hy3-powered research agent just helped settle a 50-year-old sum-difference problem.

arXiv:[2607.27199] Settling the Optimal Exponent Relating Sumsets and Difference SetsGitHub:GitHub - linhaowei1/sum-diff-proof · GitHub Last week I saw Tencent share that its Hyra agent and Hy3 model had helped researchers settle the optimal exponent in the sum-vs.-difference problem. The paper was published on arXiv. The paper explicitly states that Hyra supported the exploratory and optimization stages by optimizing finite-set constructions. That reminded me of a recent post here showing the surge in new math papers on arXiv. The comments brought up all sorts of ideas. COVID, research bottlenecks... and also AI. Even the approaching singularity. Maybe I'm reading too much into it, but I have a feeling this won't be an isolated case. Random thought: are we kind od heading toward AI becoming a standard research tool? Lol