6 hours ago
- 作者认为，在可预见的未来，数学家不应与人工智能公司合作，并引用了近期AI的成就，比如仅以2000美元就证明了非sofic群的存在。
- AI威胁着数学的核心价值观，如正确的署名、对错误的问责以及开放获取的知识共享，因为大型语言模型常常错误归因工作并产生无意义的证明。
- 在数学中使用大型语言模型会削弱人类的理解，尤其是在教育领域，学生依赖AI完成作业而不学习；在研究领域，这提高了早期职业数学家的门槛。
- 作者相信，如果AI和人类在定理证明上直接竞争，AI将在2-5年内超越人类，除非实施结构性保护措施，否则以人类为主导的数学活动将变得过时。