半世纪难题48小时破解！陶哲轩组队把AI数学玩成打怪游戏了

在AI工具助力下，陶哲轩与多名数学家仅用48小时便解决了尘封近50年的Erdős#1026难题。通过AI模型“亚里士多德”、AlphaEvolve、ChatGPT Pro等工具，研究团队完成了从关键不等式证明、上界构造到图形可视化的全过程，并借助AI检索找到关键论文完成最终证明。该过程凸显了“人机协作”在现代数学研究中的高效性，而此前已有AI独立解决其他Erdős问题的案例，标志着AI正深度融入前沿数学探索。
来源：https://mp.weixin.qq.com/s/60SqsE0hcV-3gwxsQfA6jw