OpenAI Claims AI System Solved a 'Millennium Problem' in Mathematics

OpenAI said on Tuesday that its newest artificial intelligence technology had solved one of the "Millennium Problems," a collection of important unanswered math questions meant to push the world's leading mathematicians to new heights. [1] Over the past year, A.I. systems successfully solved a wide range of problems that have bedeviled mathematicians for decades. [1] But these problems were not as complex, nor as closely watched, as the one that OpenAI claims to have solved. [1]

The announcement is another clear sign that A.I. is fundamentally changing the upper reaches of mathematics, which have long been viewed as a pinnacle of human achievement. [1] The change has excited some mathematicians, while stirring concern among others. [1]

The announcement that an AI system may have solved a Millennium Problem marks a significant milestone in the capability of AI for advanced reasoning and formal logic. While AI systems have solved decades-old math problems over the past year, this claim involves a level of complexity and scrutiny previously unmatched. This development challenges the traditional view of higher mathematics as an exclusively human domain, prompting both excitement and concern within the mathematical community regarding the future role of AI in theoretical research. What the sources don't address: Which specific Millennium Problem OpenAI claims to have solved and whether the mathematical community has verified the proof.