数学家呼吁抵制 OpenAI，AI 生成证明涌入数学领域
一批数学家发表声明，呼吁抵制 OpenAI，起因是 OpenAI 一次性放出 700 多个文件，声称其内部模型解决了 100 多个未解数学问题。菲尔兹奖得主 Terence Tao 在博客转发该声明并提出 Math 2.0 时代，Scott Aaronson 则称之为 Mathocalypse。
推荐理由：数学界对 OpenAI 批量放出 AI 证明的反弹，呈现了 AI 冲击基础研究时学术共同体与实验室之间的张力。
#OpenAI
The Decoder精选AI 评分8080
Latent Space精选AI 评分8888 OpenAI 内部模型发布 722 篇数学论文，覆盖 500 个开放问题中的 90 个
OpenAI 以公开 GitHub 仓库形式发布了一批来自内部前沿模型的数学成果，共 722 篇论文、归入 372 个相关结果族，来自约 4000 个研究问题的评测，平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力，模型本身仍未发布。
推荐理由：OpenAI 用内部未发布模型产出 722 篇数学论文，读者可据此了解其规模、算力成本与学界反应。
已经到底了