数学家呼吁抵制 OpenAI：AI 生成证明涌入数学领域
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明，并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代；复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。
推荐理由：围绕 OpenAI 一次性放出 700 多份 AI 数学证明，呈现数学界对署名、可验证性与研究生态受损的分歧。
#OpenAI
The Decoder精选AI 评分7878
Latent Space精选AI 评分8888 OpenAI 内部模型发布 722 篇数学手稿，称解决 500 个公开数学难题中的 90 个
OpenAI 以公开 GitHub 仓库形式发布内部前沿模型的数学成果，包含 722 篇手稿、分为 372 个相关结果族，来自约 4000 道研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力，模型本身未发布。
推荐理由：OpenAI 内部模型一次性产出 722 篇数学手稿，读者可据此了解其规模、算力成本与学界争议。
已经到底了