17岁高中生用AI解决数学界难题，陶哲轩、Jeff Dean点赞

Core Viewpoint - A 17-year-old student, Enrique Barschkis, has solved the long-standing Erdős problem 347, which has garnered significant attention on social media and praise from notable figures in the mathematics community, including Google's Chief Scientist Jeff Dean [2][3][18]. Summary by Sections Erdős Problem 347 - The problem was proposed by Paul Erdős and Ronald Graham in 1980, questioning the existence of an integer sequence where the ratio of adjacent terms approaches 2, and the density of the sums of any finite subset of the sequence in natural numbers is 1 [5]. Recent Developments - In October of the previous year, renowned mathematician Terence Tao discussed the problem on the Erdős problem website, utilizing ChatGPT to find relevant literature [6]. - Tao proposed a clever construction method involving dividing the sequence into blocks with carefully designed proportions to meet the problem's requirements [8]. Enrique's Achievement - On January 21, 2026, Enrique announced that he had completed a full proof of the problem, building on the ideas of Tao and others. His construction involved dividing the sequence into blocks with logarithmic growth and using a "carry adjustment" mechanism to ensure that almost all positive integers can be represented as sums of certain terms in the sequence [14][16]. Use of AI in Mathematics - Enrique utilized AI tools, specifically Aristotle and GPT Codex, to formalize his proof and improve his work, demonstrating the potential of AI in mathematical research [16][19]. - The recognition of Enrique's solution by the Erdős Problems website as "positively solved" indicates a significant milestone in the mathematical community [18]. Implications for Future Research - This event signifies a new phase in mathematical research, where young researchers can leverage AI tools to reach the forefront of the discipline more rapidly. The integration of human creativity with AI computational power may lead to more breakthroughs in the future [19][20].