The Decoder· Manuel Uth·· 7 天前精选AI 评分82
AI 生成证明涌入数学界，部分数学家呼吁抵制 OpenAI
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
数学家组织 AHM 发表声明呼吁抵制 OpenAI，称其一次性发布 700 多份 AI 生成的证明是权力的展示而非学术成果。OpenAI 此前称内部模型一个月解决了 100 多个开放数学问题，约 8000 个问题的成功率约 5%，每个问题平均耗费 3 小时 GPT-Pro 级算力。
推荐理由
原文对照了 OpenAI 批量发布证明与 Anthropic 合作数学家的两种路径，读者可据此评估 AI 进入基础学科的不同方式。
来源：The Decoder · the-decoder.com