30年数学难题，AI仅6小时告破，陶哲轩：ChatGPT们都失败了

AI数学家「亚里士多德」在6小时内独立解决了30年未解的埃尔德什问题#124，使用了强化学习、蒙特卡洛树搜索及Lean形式化语言。此成就标志着AI在数学领域自主发现与证明能力的重大突破，预示着数学界进入Vibe proving时代。菲尔兹奖得主陶哲轩高度赞扬了这一成果，并指出AI正在快速收割数学中的’低垂果实’，为人类数学家腾出精力解决更复杂的问题。