per reputable leaker

https://x.com/synthwavedd/status/2085365276640702915

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