邓煜与陶哲轩在SAIR播客探讨AI时代数学的未来。邓煜认为AI能拓展数学边界，应保持开放并构建开放数学模型；陶哲轩指出科技公司利用AI研究数学本质是提炼他人成果，需追溯来源，并呼吁数学家应事前参与而非事后收拾残局。
陶哲轩在SAIR演讲中公开喊话模型公司，称AI公司无休止加速却对后果一无所知，必须慢下来。他提出数学证明生命周期五环节，指出AI仅在生成解答和Lean形式化验证上加速，理解、消化、写教科书环节几乎为零，造成Proof Indigestion（证明消化不良），并警告数学家创造力丧失与数据污染两大隐患。