跳到正文
11月6日周五
  1. Anthropic:Research56

    Anthropic 论 AI 如何帮助科学家构建可解释的科学模型

    Anthropic Research 发文讨论 AI 参与科学建模的三步流程,即构建模型、约束模型和解释模型,并以 1951 年 Hodgkin 和 Huxley 用手摇计算器求解神经元方程的历史为例。文章指出拟合数据不等于理解,AI 系统应借助贝叶斯推断和基于模拟的推断(SBI)返回参数与模型的分布而非单一最优拟合,解释是最难交给 AI 的一步;AI 建模系统目前大多只测试过重新发现已知模型。

11月5日周四
  1. Timothy B. Lee:Understanding AI61

    Timothy B. Lee 用机器人学的 sim-to-real gap 解释前沿模型能力的锯齿状分布

    Understanding AI 作者认为,机器人学中的 sim-to-real gap 概念能解释 AI 能力为何在编程、数学等领域进展惊人而对其他职业影响有限。编程、数学和围棋等任务可被精确模拟,训练技能容易迁移到真实场景,而涉及与人及复杂物理世界互动的白领工作难以模拟,因此他预计 2027 或 2028 年不会出现大规模职业颠覆。

10月10日周六
  1. Nathan Lambert:Interconnects50

    Nathan Lambert:AI 将快速进步但不会走向通用超级智能

    Nathan Lambert 撰文认为,AI 研究者看到的是模型在基础设施和工程能力上的大幅加速,数年内模型会成为超人类 GPU 工程师,但这不会让模型本质发生巨变。他预测推理时计算扩容将使模型智能的有效成本近指数级下降,预训练架构与数据选择研究可能在 2-3 年内自动化,并触发 Jevons 悖论推高 Agent 需求;但技术扩散主要惠及数学和编码等领域,而非全面通向超级智能。

10月8日周四
  1. Gary Marcus:The Road to AI We Can Trust53

    Gary Marcus 评 OpenAI 数学模型成果:真正的新闻是报告本身不透明

    Gary Marcus 点评 OpenAI 新发布的数学成果,称真正的新闻不是结果而是报告含糊:使用未发布模型,未说明流程、架构、是否一次性生成证明再由 Lean 验证、失败率和训练细节,因此无法判断结果在数学之外的泛化性。他提醒社交媒体讨论缺乏基本科学追问,并附上 Terence Tao 的相关评论。

10月7日周三
  1. Azeem Azhar:Exponential View74

    Azeem Azhar 分析 OpenAI 未发布模型的数学成果对人类认知的意义

    OpenAI 公布了一组未发布前沿模型产生的数学结果,涉及 372 个族的 722 篇论文,覆盖数论、复杂性理论和数学物理,平均每个结果相当于三小时 ChatGPT Pro 思考,部分已在 Lean 中验证但并非全部。Azeem Azhar 据此提出,数学可能分化为机器数学与人类数学两层,后者是我们能理解的机器前沿压缩版有效理论。

9月24日周四
9月19日周六
9月17日周四
8月12日周三
8月4日周二
6月30日周二
  1. Dwarkesh Patel:Podcast & Blog55

    Dwarkesh Patel 对谈 Grant Sanderson:AI 与数学的未来

    Dwarkesh Patel 采访 3Blue1Brown 创始人 Grant Sanderson,探讨 AI 为何在数学领域进展最快,以及这预示着 AI 在其他领域的进展形态。两人讨论了 IMO 金牌背后的可训练性、Riemann 假设三种可能的解决方式、Galois 群论这类验证回路长达百年的概念性突破,以及 AI 能否通过并行智能体和主动逃离上下文来发现跨领域的隐藏连接。

6月26日周五
3月12日周四
2月14日周六
1月26日周一
2025年12月21日周日
2024年5月26日周日