To Grieve, or Not to Grieve?
8 hours ago
- 人工智能正在迅速改变数学领域，解决人类无法解决的问题，这在数学家中引发了各种不同的反应。
- 数学家们表现出哀伤阶段：否认（例如，人本数学协会、Scholze）、愤怒（例如，Vlad Lazic）、讨价还价（顾问小组向实验室提出的建议）以及抑郁（例如，考虑离开的研究人员）。
- 关于人类为何做数学的争论：Thurston 强调人类的理解，Hardy 视其为艺术，而作者则重视定理的计数。
- 作者呼吁 OpenAI 公开发布他们的定理集合，以避免白费功夫并促进理解，并签署了一封公开信。
- 作者持乐观态度：机器擅长解决问题，但在构建理论和提出猜想方面有限制；他/她预期最终会达到一个自然边界。
- 作者鼓励拥抱人工智能去探索新领域，尽管有些人觉得这个想法令人反感。