The Age of Wonders and Terrors
11 hours ago
- 作者反思了人工智能如何超越人类数学家，解决了像纳维-斯托克斯千年难题这样的问题，这曾经被认为是遥不可及的幻想。
- 数学界面临一场剧变：人类数学家不再是主要的定理证明者，大量人工智能辅助的结果解决了长期存在的开放问题。
- 关键的人工智能辅助结果包括雅可比猜想的反例、格罗滕迪克常数的改进界限，以及量子复杂性猜想的进展。
- 关于荣誉和作者署名的新规范正在讨论中——涉及理解、责任以及人工智能是否应列为合著者的问题。
- 作者支持菲尔兹奖得主的一封公开信，倡导在人工智能浪潮中保留数学中的人类理解和社群。
- 他对自己的孩子和学生的未来感到个人焦虑，因为人工智能能力在迅速加速。
- 作者认为人工智能奇点实际上已经开始，呼吁以知识上的诚实来承认其奇迹与恐怖。
- 评论讨论了人工智能是能发明新概念还是只能解决现有问题，以及需要新的教育和职业路径。