Jeremy Avigad 谈数学的未来：在 AI 时代求解更难问题、拓展更大思想

Jeremy Avigad 在 Terry Tao 博客发表客座文章，认为 AI 已能生成过去可构成体面论文的数学结果，数学界需要重新理解研究与人才培养。他提出三条方向：求解 AI 难以靠组合现有技术完成的更难问题，保留数学家对问题价值和高层概念创造的判断，并主动尝试证明助手、神经网络和符号自动化等新方法。