跳到正文

#现象/趋势

今日 21 条
10月10日周六
  1. The Verge · AI88

    数学家称消化 OpenAI 近 400 项 AI 数学成果或需数年

    OpenAI 一次性发布近 400 项 AI 生成的数学成果,分布在 700 多篇手稿中,覆盖组合学、几何、数论、代数、拓扑等多个领域。三十余位数学家向 The Verge 表示,仅理解这批成果就可能耗时数年,其中仅 300 项(约 42%)顶级结果完成了 Lean 形式化验证,且已有三篇论文因符号错误被撤回。

    推荐理由:通过三十余位数学家的第一手反应,呈现AI批量产出数学成果对研究共同体的实际冲击与验证困境。

  2. Yuchenj_UW23

    昨天看到一个视频: 一位数学博士和她的导师花了 6 个月证明一个定理。发表前,他们问了 ChatGPT。 AI 很快找到了一个更优雅的证明,用了一种他们从未想到的方法。 他们现在陷入了存在危机。 但数学家们不必绝望。我们在编程领域已经经历过这个过程。现在我们离不开 AI 了。 深厚的专业知识 + 懂得如何利用 AI,是这个时代的强大护城河。

  3. TechCrunch · AI58

    a16z 合伙人 Olivia Moore 谈消费级 AI 现状

    TechCrunch 采访了 a16z 合伙人 Olivia Moore,围绕她发布的 top 100 消费级 AI 应用报告讨论消费级 AI 的经济现状。她认为 OpenAI 转向企业端更像扩张而非转向,几乎所有 AI 收入仍来自订阅和 token 用量;美国仅 2.2% 家庭为 AI 付费,她更希望出现广告支撑的免费模式而非提高付费用户数。

10月9日周五
  1. MIT Technology Review · AI74

    MIT Technology Review:AI 拒绝机制存在过度依赖风险

    文章指出,AI 安全高度依赖模型的拒绝机制,但该机制在原理上并不透明、在实践中屡被绕过,且可能被政府用作审查工具。文中援引研究说明,拒绝行为在模型内部表现为高维多面锥状激活,其具体决策过程仍难以完全理解;分类器等外部防护手段被形容为奶酪般布满孔洞,越狱攻击层出不穷,如 Anthropic Fable 5 发布后三天内即被 Amazon 研究者破解部分黑客能力。