OpenAI发布数学成果后风波不断:三篇AI生成的数学论文在发布一天后撤回;同时报道指出719篇手稿中仅10篇包含思维链、42%证明未完成形式化,且OpenAI用闭源模型测试公开研究难题,违背了普林斯顿数学咨询组的建议。
OpenAI发布一批来自未发布前沿模型的722份数学手稿,覆盖372个结果族,包含对数百个开放数学问题的解答,许多附带Lean形式化证明。OpenAI称平均每个结果耗费约3小时ChatGPT Pro思考时间。
