陶哲轩：AI时代应降低解决难题核心地位

发生了什么

据Solidot报道，UCLA数学家陶哲轩评论OpenAI报告称其前沿模型解决了数百个数学难题，包括四维挂谷猜想。陶哲轩指出，传统数学1.0时代推崇抢先解决未决难题，证明过程经社区消化成为教科书内容。而AI模型的证明由对数学兴趣不大的人通过提示词自主解决，缺乏深入理解与社区讨论，且AI公司的行为迫使开创性研究秘而不宣。因此，在数学2.0时代应降低或弱化解决难题的核心作用，提升学术阐释、社区建设及开辟研究新方向的价值。