📖 AI 总结

前OpenAI后训练副总裁Liam Fedus回应了陶哲轩等25位菲尔兹奖得主联署的声明。该声明担忧AI公司以“解出著名难题”为衡量标准，与数学界追求概念理解、方法提炼和知识传承的目标严重错位。Liam赞同对概念理解的重视，但认为不应以当下AI能力框定未来——未来AI不仅能解题，还能提出洞见、建立新概念框架，成为数学研究伙伴。文章梳理了AI在数学领域的快速进展：从IMO竞赛到挑战Erdős猜想、Navier-Stokes方程等开放难题，同时引发成果归属、署名权等争议。AMS、LMS和CMI相继发声，强调数学的核心仍是人类理解，AI应定位为强大工具而非替代者。核心问题已非“AI是否毁了数学”，而是如何组织研究，让AI产生的知识被理解、验证并融入学术共同体。