随着人工智能的快速发展，数学家们开始探索人工智能如何帮助他们完成工作，机器学习等 AI 工具已经帮助数学家创建新的理论并解决棘手的问题，也正以超越单纯计算的方式改变数学领域，有学者认为，这可能会使一些数学家失业。
以下哪项如果为真，最能反驳部分学者的观点？
AI可能会更好地给出正确的数学陈述和证明，但其中大多数陈述和证明会令人不感兴趣或无法理解
当前对于“机器是否会改变数学”的问题研究热度空前，已经引起很多著名数学家的浓厚兴趣和高度关注
AI 无法从具体信息中提取抽象概念，无法识别数学背后的定律，更无法识别数学与其他科学之间的关系
2020年，德国著名数学家，菲尔兹奖得主皮特・舒尔茨遇到的难题被数学定理证明器Lean证明了，Lean如今已经得到许多数学家的支持
