数学家对OpenAI的新成果库既惊叹又抱怨
内容摘要
OpenAI发布AI生成的372个开放数学和计算机科学问题的结果两天后，科学家们正在筛选突破。哈佛数学家Michael Douglas称这标志着一个新时代的开始，比上个月OpenAI内部模型解决Navier-Stokes问题更重要。然而，质量参差不齐：一些论文写得好且引用改进，另一些是难以阅读的"AI垃圾"，尽管42%通过Lean验证，逻辑可靠。三篇论文因错误被撤回，引发对未验证部分的担忧。MIT的Andrew Sutherland等批评者敦促OpenAI也发布失败问题以增加透明度。有人怀疑模型自己生成问题。人类数学协会谴责此举是权力展示，呼吁数学家停止与OpenAI合作。
(来源：Scientific American)