OpenAI发布数学成果后风波不断:三篇AI生成的数学论文在发布一天后撤回;同时报道指出719篇手稿中仅10篇包含思维链、42%证明未完成形式化,且OpenAI用闭源模型测试公开研究难题,违背了普林斯顿数学咨询组的建议。
围绕AI数学能力的争议持续发酵:有报告称七个千禧年大奖难题中四个取得进展,纳维-斯托克斯方程甚至声称被解决。陶哲轩以「数学家并没有要求这项工作」表达不满,另有数学家指控其9月上传ChatGPT的未发表证明与OpenAI 10月公布的结果高度雷同。
