AI生成数学的危机

arxiv.org 上出现了一篇题为《AI生成数学的危机》的论文，指出当前AI生成数学内容存在可靠性问题。如果你的项目依赖LLM生成的证明或计算，这值得关注。