数学家呼吁抵制 OpenAI,AI 生成证明涌入数学界
数学界部分人士呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多个文件,声称其内部模型一个月内解决了 100 多个未解数学问题,包括对 Navier-Stokes 千禧年难题的一种思路。
推荐理由:数学界对 OpenAI 批量放出 AI 证明的反弹,呈现了 AI 冲击学术共同体时两种合作模式的差异。
数学界部分人士呼吁抵制 OpenAI,起因是 OpenAI 一次性放出 700 多个文件,声称其内部模型一个月内解决了 100 多个未解数学问题,包括对 Navier-Stokes 千禧年难题的一种思路。
推荐理由:数学界对 OpenAI 批量放出 AI 证明的反弹,呈现了 AI 冲击学术共同体时两种合作模式的差异。
OpenAI 本周突然发布近 400 条 AI 生成的数学结果,分布在 700 多份手稿中,涵盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学及数学物理等多个方向。
推荐理由:数十位数学家对 OpenAI 一次性放出近 400 条数学结果的直接反应,呈现了学术共同体面对 AI 产出时的验证困境与职业焦虑。
OpenAI 以博客、GitHub 仓库和推文形式公开了内部前沿模型的数学成果,共 722 篇手稿、归入 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力,模型本身尚未发布。
推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可据此了解这批结果的规模、算力成本与外界质疑。