According to CoinMeta, Tencent's open-source model Hy3 has successfully solved a combinatorial mathematics problem that had remained unsolved for over 50 years, and the complete proof has been verified by machines. Tencent's research agent Hyra used this model to assist researchers in solving a problem regarding the growth rates of the "sum set" and "difference set" of integer sets. The mathematical community has long proven that the relevant exponent cannot exceed 2, but it was uncertain whether 2 was indeed the optimal answer. After about 24 hours of searching, Hyra found the core approach ultimately adopted in the paper. Researchers then verified and corrected it, confirming that this exponent can approach 2 infinitely, thus establishing 2 as the optimal answer. Although AI did not write the entire paper, the most critical construction was indeed found by Hy3.