数学界无视「30年漏洞」，GPT-5一眼看穿，陶哲轩：AI科研革命开始了

Core Insights - The article discusses the recent developments surrounding OpenAI's GPT-5, particularly its role in solving mathematical problems, including the Erdős problems, and the subsequent reactions from the academic community [1][6][8]. Group 1: GPT-5's Contributions - GPT-5 has been credited with accelerating scientific progress by identifying existing solutions to ten Erdős problems, although it was initially misrepresented as having solved them [1][12]. - The 707th Erdős problem, which had been thought unsolved for 30 years, was actually resolved before its proposal, highlighting the importance of literature review in mathematical research [8][10]. - Two mathematicians successfully used GPT-5 to generate formal proofs, demonstrating its potential as a collaborative tool in mathematical research [13][14]. Group 2: Academic Reactions - Yann LeCun criticized OpenAI, suggesting that the company was harmed by its own overzealous claims regarding GPT-5's capabilities [2]. - Sebastien Bubeck, an OpenAI scientist, faced backlash for his initial claims but later acknowledged the complexity of literature searches in mathematics [12][17]. - Mathematician Terence Tao praised the use of AI in generating verifiable proofs, emphasizing that AI should complement human efforts rather than replace them [14][17]. Group 3: Future Implications - The collaboration between AI and human researchers could lead to more efficient problem-solving processes, as demonstrated by the successful use of GPT-5 in generating a formal proof that required significant human input for refinement [16][29]. - The exploration of AI's role in mathematics is still in its early stages, with potential for further integration and optimization in research methodologies [16][18].