THE DECODER· Manuel Uth·· 2 天前AI 评估 · 74/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
数学家呼吁抵制 OpenAI，AI 生成证明大量涌入数学界
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
数学家组织 AHM 发表声明，批评 OpenAI 一次性发布 700 多个 AI 生成的数学证明文件，称其不是学术展示而是力量展示，部分数学家呼吁抵制 OpenAI 产品。陶哲轩在博客转发该声明并提出数学应进入不再以解题为核心指标的 Math 2.0 时代，Scott Aaronson 则对比了 OpenAI 批量放出证明与 Anthropic 与研究者合作、给予补偿并写出人类可读证明的两种模式。
来源：THE DECODER · the-decoder.com