陶哲轩等数学家对AI在数学领域的应用表示担忧

著名数学家陶哲轩等对AI在数学领域的应用表示担忧，认为AI的快速发展可能导致数学失去其核心价值，并引发对AI可靠性的质疑。他们呼吁停止与OpenAI的合作，并关注AI在数学验证工具中的潜在风险。