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