GPT-5.2 Pro 在40分钟内解决埃尔多斯未解数学难题
GPT-5.2 Pro, a powerful language model developed by OpenAI, has demonstrated an extraordinary capability by solving the long-standing Erdős Problem #281 in just 41 minutes and 54 seconds. This achievement was accomplished without relying on any previously known solutions to the problem. The breakthrough was validated and endorsed by Terence Tao, a Fields Medalist and renowned mathematician, who hailed it as the most convincing example yet of AI tackling open mathematical problems. Tao particularly noted that GPT-5.2 Pro showcased exceptional logical reasoning skills and avoided the subtle errors that often plague both human mathematicians and previous AI models when dealing with complex limit transformations. The Erdős Problem #281, which falls within the realm of number theory's 'congruence covering systems,' essentially asks whether a finite subset of an infinite set of rules (congruences) can achieve a high level of coverage for almost all integers. GPT-5.2 Pro's innovative approach involved integrating Ergodic Theory, a mathematical tool typically used for studying the long-term behavior of dynamical systems, into the problem. By mapping integers to a compact space known as 'finite integers,' the AI cleverly leveraged the average properties of dynamical systems to prove that an infinite set of rules can indeed be effectively approximated by a finite set. This development has sparked significant excitement in the academic community, marking a dramatic shift in the perception of AI from a mere辅助 tool to a capable force in advancing human knowledge. The evolution of large language models, as evidenced by GPT-5.2 Pro's rapid progress from being considered 'lacking in reasoning ability' in 2022 to independently solving cutting-edge mathematical conjectures by 2026, underscores the transformative potential of artificial intelligence in scientific research.
评论已关闭