数学家呼吁抵制 OpenAI,AI 生成证明涌入数学界
数学家团体 AHM 发表声明,呼吁抵制 OpenAI,称其一次性发布 700 多个文件是展示力量而非学术贡献,并指其违背了 AGMAI 咨询小组关于不应在内部模型上测试高深数学问题的前提。
推荐理由:围绕 AI 批量产出数学证明引发的抵制与两种发布模式对比,呈现学界对研究节奏与署名规则的分歧。
数学家团体 AHM 发表声明,呼吁抵制 OpenAI,称其一次性发布 700 多个文件是展示力量而非学术贡献,并指其违背了 AGMAI 咨询小组关于不应在内部模型上测试高深数学问题的前提。
推荐理由:围绕 AI 批量产出数学证明引发的抵制与两种发布模式对比,呈现学界对研究节奏与署名规则的分歧。
OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿,归入 372 个相关结果族,来自约 4000 道研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力,模型本身仍未发布。
推荐理由:汇总 OpenAI 数学成果、Mistral Large 4 与 EmbeddingGemma 2 等发布,可快速了解当日模型与评测争议。