跳到正文

内容形态

现象与趋势 最新动态

正在发生的行业级变化:使用习惯迁移、能力涌现、社会影响与市场格局的观察。

1 条精选近 30 天 1 条共收录 9 条

更新

现象与趋势的精选

今天10月9日周五第 1–1 条
  1. The Decoder78

    数学家呼吁抵制 OpenAI:AI 生成证明涌入数学领域

    数学界部分人士呼吁抵制 OpenAI,起因是该公司一次性放出 700 多份 AI 生成的数学证明文件。菲尔兹奖得主 Terence Tao 在其博客转发相关声明,并提出数学应进入不再以解题为主要衡量标准的 Math 2.0 时代;复杂性理论家 Scott Aaronson 则称之为 Mathocalypse。

    推荐理由:围绕 OpenAI 一次性放出 700 多份 AI 数学证明,呈现数学界对署名、可验证性与研究生态受损的分歧。