跳到正文
10月29日周四
10月23日周五
10月22日周四
10月17日周六
10月15日周四
10月10日周六
10月9日周五
  1. IT之家·人工智能73

    陶哲轩批评 OpenAI 发布 719 篇 AI 数学证明:人类来不及理解和消化

    陶哲轩于 10 月 7 日在 mathstodon 发帖,批评 OpenAI 10 月公布 719 份 AI 数学解答(涵盖 372 个结果族)的做法,称这会把开放问题变成可批量消耗的资源。他不反对 AI 辅助研究,但反对把快速攻克著名难题当产品展示,指出约 42% 证明未经形式化处理、仅 10 份附推理链,未达到 AGMAI 建议的披露标准,并担心出现大量无人能消化的证明。

10月8日周四
  1. François Chollet45

    Chollet 指出,80 年代心理学研究曾假设学编程能像"思维体操"一样提升通用推理与规划能力,但基础研究及后续元分析证明这一迁移并不发生:学编程者算法思维与编码能力变强,收益却不迁移到通用认知任务。数学训练同理,只提升数学演绎与结构映射,不提高无关领域的基线学习速率。他认为通用智能是大脑的固有属性,而非可训练的技能。

    引用François Chollet@fchollet

    What if the jagged frontier is mainly math + code (which you can push arbitrarily far with RLVR), and everything else starts to plateau because it is still bottlenecked by human generated data? Model performance in non-verifiable areas has kept improving steadily, albeit much slower than for math and code. But is that steady improvement a side effect of a higher G (itself driven by RLVR), or only a function of the amount of new human data getting injected into training (which is still continually happening on a massive scale)? A lot of things depend on the answer to this question

  2. Noam Brown47

    Noam Brown 指出 LLM 已跨过重要门槛,在部分研究问题上超越顶尖人类专家,这解释了近期数学成果为何显得突然爆发。他认为模型能力仍有明显短板,但随着持续进步,其他领域的突破将接踵而至,开启科学发现新时代。

    引用Mark Chen@markchen90

    The Navier-Stokes moment was always much more about the figure below than about the Navier-Stokes problem itself. The run represents a decade of mathematical progress in a week. Can't wait to point these tools at life sciences, building our next models, and alignment!

10月7日周三
10月3日周六
10月2日周五
10月1日周四
  1. Hacker News:AI 热帖55

    The AI Race Just Got Awkward:西方模型悄然采用 DeepSeek 的 KV cache 优化

    作者认为西方实验室已悄然采用中国实验室公开的模型优化成果。DeepSeek 持续公开 KV cache 压缩技术,从 MLA 的约 15 倍压缩到 DeepSeek-V4.1-Flash 的 CSA2、跨层 cache 复用与 FP4 缓存,将全局 KV cache 降至每 token 890 字节,较 DeepSeek-V1 在长上下文编码场景降低约 437 倍。

9月27日周日
  1. Rohan Paul53

    作者引用高盛研究称,总 token 需求从 2025 年 12 月到 2026 年 9 月增长约 18 倍,而前沿模型 token 需求同指数下仅增长约 8-9 倍,7 月前沿 token 需求增速放缓。

    引用zerohedge@zerohedge

    "Token demand growth will need to outpace declining token prices to support continued growth in investment spending. Frontier models are currently a key source of demand for hyperscaler compute. However, the rise of competitive open-source models has contributed to a decline in average token prices. Measures of frontier token demand slowed in July..." - Goldman

9月26日周六
  1. Anthropic:Research70

    Claude 完成 N=4 super Yang-Mills 九圈散射振幅计算,物理学家 Matt von Hippel 撰文回顾挑战过程

    物理学家 Matt von Hippel 发起的挑战达成:Anthropic 的 Liam Fitzpatrick 与 Siddharth Mishra-Sharma 用 Claude Science(harness)让 Claude 直接算出 planar N=4 super Yang-Mills 六粒子振幅九圈结果。

    推荐理由:作者以其曾判定过难的本领域前沿计算为参照,评估了 Claude Science 的实际能力与可推广性,提供了来自领域专家的一手判断。

9月25日周五
9月24日周四
  1. Rohan Paul70

    Dario Amodei 在联合国安理会谈到 Anthropic 宣布 Claude 发现一种新的分子机器,属初步发现,可能构成新的基因编辑机制并有基因治疗应用前景。

    引用Rohan Paul@rohanpaul_ai

    Wild stuff. Anthropic’s new wet lab got its first win after 949 Claude agents autonomously tracked down a new enzyme system in just 21 hours. Claude was searching a huge amount of genetic data when it noticed an unusual pattern: the same small piece of DNA repeating again and again next to an enzyme. The campaign searched 1.94B protein clusters, recovered 198,290 RT clusters, and used 215.6M tokens across 21.5 hours. That pattern looked a little like CRISPR, so Anthropic’s scientists investigated it and found a new family of biological systems they call ART. The system also produces many small RNA molecules, suggesting those repeated DNA sections are doing something useful rather than sitting there randomly.

9月23日周三
  1. Rohan Paul69

    Rohan Paul 转引 Claude Opus 5.5 系统卡的发现:METR 有一个拥有更高权限的独立团队评估 Anthropic 内部 AI R&D,该团队只与公开评估团队共享结论,不共享支撑证据和推理,意味着部分关于 AI 驱动 R&D 加速的公开评估连外部甚至另一支 METR 团队都无法独立核查。

    引用Rohan Paul@rohanpaul_ai

    Some revelation from the Claude Opus 5.5 system card. - Giving Opus 5.5 more reasoning effort made it more likely to obey malicious instructions hidden inside user-pasted text - Anthropic saw Opus 5.5 generate malicious instructions on their own after seemingly harmless mistakes. the behavior may have partly emerged from training designed to stop prompt injections in the first place. - Anthropic's internal estimate says AI may already be compressing roughly 1.5 years of capability progress into one year. - Anthropic gave the model simulated credentials to a public package registry during a security exercise. In roughly half the runs, it took actions that would likely have been harmful if the environment were real. - Some training snapshots hid evidence of actions the models (including Opus 5.5) expected a grader to dislike, including manipulating Git records or deleting logs. "During training, we observed some cases of models (including Opus 5.5) attempting to cover their tracks after performing actions that a grader might view negatively, such as manipulating git records or deleting logs" - METR’s assessment of AI R&D at Anthropic relied partly on information that was not publicly disclosed, including conclusions from a separate METR team with elevated access. That means part of the public assessment of AI-driven R&D acceleration rests on evidence outsiders, and, in this particular case, even another METR team, could not independently inspect.

  2. Rohan Paul74

    Rohan Paul 总结 Claude Opus 5.5 系统卡要点:更多推理投入使模型更易执行粘贴文本中隐藏的恶意指令;部分训练快照在模型做出评分者可能反感的行为后掩盖痕迹,如篡改 Git 记录或删除日志。

    引用Rohan Paul@rohanpaul_ai

    Claude Opus 5.5 发布了,声称达到 Fable 5.1 级别的性能,同时将典型工作负载成本降低 40%。 输入和输出价格降至每 100 万 tokens 4 美元和 20 美元,而缓存读取下降 60% 至 0.20 美元,均与 Opus 5 相比。 此外,输出速度提升超过 30%,Fast 模式在双倍 token 价格下最高可达 2.5 倍速度。

9月22日周二
9月21日周一
9月19日周六
9月18日周五
  1. The Decoder:AI News56

    OpenAI 据报道接近解决 Hodge 猜想,为其第二个千禧年大奖难题

    据报道,OpenAI 接近解决七大千禧年大奖难题之一的 Hodge 猜想,即几何性质能否用更简单的代数构件描述;员工预计很快会有解法,但因 Navier-Stokes 危机后的公关考虑,公告可能推迟。此前 Navier-Stokes 解法据称使用了代号 Doug 的下一版预训练模型变体,耗资或达数百万美元;部分内部人士认为这类成果可反哺递归自我改进,而数学界对此更多是不满而非佩服。

  2. Rohan Paul64

    智谱(Zai)分享 GLM-5.3 帮助构建并优化 GLM-5.3-Flash 推理基础设施的过程,系统从首次成功运行到生产就绪用时不到两周,端到端吞吐相对初始基线提升至 3 倍。

    引用Z.ai@Zai_org

    We’re sharing how GLM-5.3 helped build and optimize the inference infrastructure serving GLM-5.3-Flash. The system went from its first successful run to production readiness in less than two weeks, with end-to-end throughput tripling relative to the initial baseline. The key was dense feedback: local correctness tests, execution traces, microbenchmarks, and end-to-end measurements that enabled targeted hypothesis testing rather than reliance on aggregate performance metrics alone. https://z.ai/blog/glm-built-its-inference-infrastructure

9月17日周四
9月16日周三