陶哲轩惊叹，数学奇点初现，AI首次给出人类无法企及的原创证明

Core Insights - The emergence of AI in mathematics is leading to significant breakthroughs, with Google's DeepMind team using Gemini to prove a new theorem in algebraic geometry, which has garnered praise from renowned mathematicians like Ravi Vakil [3][12][5] - AI tools are increasingly demonstrating original capabilities in mathematics, suggesting a future where AI could independently tackle complex mathematical problems [4][41] - The collaboration between human mathematicians and AI is yielding substantial advancements, indicating a shift in the paradigm of mathematical research [14][41] Group 1: Breakthroughs in Mathematics - Gemini has proven a new theorem in algebraic geometry, marking a significant achievement in the field [5][12] - Terence Tao predicts that AI could tackle 15-20% of the Erdős problems, showcasing the potential of AI in solving complex mathematical challenges [4][34] - Grok 4.20 has demonstrated the ability to solve the Bellman function problem in just five minutes, indicating rapid advancements in AI's mathematical capabilities [4][19][23] Group 2: AI's Role in Mathematical Research - AI is being recognized as a valuable collaborator in mathematical research, with significant contributions to problem-solving and theorem proving [14][41] - The collaboration between AI and human mathematicians is leading to new insights and methods, as seen in the work of Ravi Vakil and others [12][14] - The landscape of mathematical exploration is changing, with AI tools becoming integral to the research process, challenging traditional notions of mathematical discovery [41][34]