Jeremy Avigad 撰文谈 AI 时代数学的未来：解更难的问题、想更大的问题、尝试新事物

数学家 Jeremy Avigad 在 Terence Tao 的博客发表客座文章，讨论 AI 对数学研究的冲击与数学界的积极回应。他指出一年前可发表的常规结果如今 AI 已能轻易生成，提出数学家应解更难的问题、追求更深的数学理解、主动掌握证明助手和神经网络等新技术，并向学生和早期职业研究者传递支持的信息。