扫描下载APP
其它方式登录
陶哲轩与邓煜在SAIR基金会播客中指出，AI生成的数学证明虽具突破性（如准黎曼猜想进展），但因缺乏可理解性、可追溯性和形式化验证，正导致数学界出现‘理解缺口’与‘溯源危机’；他们批评批量发布的成果为‘有毒废料’，呼吁改变学术激励机制，推动数学家事前参与AI研究，并倡导开源数学工具Open Math OS以重建学术秩序。
陶哲轩与邓煜在SAIR访谈中呼吁重视数学研究的“慢科研”价值，强调AI虽可批量生成证明，但人类对证明的理解、解释、溯源及知识传承不可替代；主张通过Open Math Model等开放协作项目，让数学共同体主导AI工具开发，确保技术服务于理解深化与学科可持续发展。
文章以韦东奕现象为切入点，反思公众对数学家的刻板想象与人设绑架，指出数学家是一种职业而非固定角色；通过对比王虹、邓煜等真实数学家的多元生活状态，批判将专业能力与生活简朴、不善世故等外在特征强行绑定的认知偏差，呼吁尊重个体生活的自主性与复杂性。
