Weil类

如何评价 OpenAI 撤回 3 篇手稿？为什么前沿模型会犯这种错误？

OpenAI近期撤回了其发布的722篇AI生成数学手稿中的3篇。此次撤回起因于一篇关于Weil类代数性的手稿中出现符号错误，导致该证明失效，并波及两篇依赖于此结论的后续论文。目前该目录剩余719篇手稿，其中约42%的结果已通过Lean形式化验证。