十分钟出结果，陶哲轩用Gemini Deepthink帮人类数学家完成Erd?s问题论证

在Erdős问题#367的研究中，数学家Wouter van Doorn提出反例后，陶哲轩借助Gemini 2.5 Deep Think在十分钟内完成关键恒等式证明，并简化为可形式化的版本。随后Boris Alexeev使用Aristotle工具在2-3小时内完成Lean形式化验证。该案例体现了AI在数学推理中的高效辅助作用。近年来，陶哲轩多次利用AlphaEvolve、GPT-5 Pro等AI工具推动数学研究，反映AI正逐步融入前沿数学工作流程。
来源：https://mp.weixin.qq.com/s/e1utpq1uqfPMeWm8OPYCkw