数学家陶哲轩对AI数学浪潮的担忧

著名数学家陶哲轩对AI在数学领域的应用表示担忧，认为AI大量生成未经深思的证明可能破坏数学的价值，并引发对验证工具可靠性的质疑。