共 1 篇相关文章
数学家 Daniel Litt 发表博客《A beginning for mathematics》引发 Hacker News 热议。本文解读 AI 与数学交叉领域的范式变革，探讨形式化证明、自动推理对数学研究本质的影响与学界分歧。
