OpenAI发布722篇数学预印本引质疑

发生了什么

据Science News报道，OpenAI发布722篇涵盖372项结果的数学预印本，使用未公开ChatGPT模型处理约4000个问题，平均耗时3小时。学界质疑其正确性与可读性，部分数学家发现错误。OpenAI已撤回3篇并修订14篇，剩余719篇中仅300篇完成Lean形式化验证，但形式化不保证内容真实。