Agent AI Tencent Hunyuan giải bài toán toán học 50 năm, xác nhận chỉ số tăng trưởng tối ưu là 2

The Huoxing Finance report states that Tencent's official X account posted that its research agent Hyra, in collaboration with the Hy3 model, has explicitly constructed a proof for a problem that has puzzled the mathematical community for over 50 years: the optimal exponent for the growth rate of the sumset size |A+A| and the difference set size |A-A| for a finite set of integers A is exactly 2. Previously, a 1969 theorem established an upper bound of 2, but over the subsequent 50 years, the best constructions only slightly exceeded an exponent of 1.1. This achievement demonstrates the potential of AI agents in the field of pure mathematical reasoning. Tencent stated that Hyra is an internally developed AI research agent specifically designed to assist in exploring complex mathematical and scientific problems. The conclusion still requires peer review by the mathematical community.