The Decoder· Manuel Uth·· 1 天前精选AI 评分78
数学家呼吁抵制 OpenAI：AI 生成证明涌入数学界
Some mathematicians call for OpenAI boycott after AI-generated proofs flood their field
AI 导读
数学界部分人士呼吁抵制 OpenAI，起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在博客转发相关声明并提出“Math 2.0”，Scott Aaronson 则称之为“Mathocalypse”。
推荐理由
围绕 OpenAI 一次性放出 700 多份 AI 数学证明，呈现数学界对署名、可验证性与研究节奏的两种应对路线。
来源：The Decoder · the-decoder.com