17:40
30年数学难题,AI仅6小时告破,陶哲轩:ChatGPT们都失败了

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
















