跳到正文
10月28日周三
  1. Hacker News:AI 热帖52

    作者为美国法典构建类 Git 的逐条版本溯源系统

    作者借鉴 Git 的溯源思路,为美国法典构建了可按日期查看生效文本的系统,并解释了 LLM 在法律检索中的时间失效问题。系统对 2017 年起九个编的 365 处修改逐条重演,361 处能精确复现下一个发布点,每处修改标注所依据的公法和生效日期。已知限制包括尚未处理后续法律的追溯适用,生效日期靠模式匹配解析,重要内容仍需查阅法律原文。

  2. IT之家·人工智能60

    特朗普称将在相关文件中正式禁用 AI 一词,改称 SI 超级智能

    据新华社报道,特朗普 27 日在真实社交发文,称将很快在所有相关文件中正式禁用人工智能(AI)一词,改用超级智能(Super Intelligence,简称 SI),理由是该表述不准确,并点名批评《华尔街日报》。他此前于 9 月 29 日签署行政令要求行政部门使用 SI 替代 AI;路透社 10 月 7 日报道称美国司法部已指示内部人员在法庭文书等绝大多数场合使用超级智能一词。

  3. IT之家·人工智能66

    亚马逊更新 AI 时代工程师准则:考核看业务价值而非 AI 使用量

    亚马逊当地时间 10 月 27 日更新面向 AI 时代的软件工程师工作准则,强调考核应看工程师创造的业务价值,而非 AI 使用频率或词元消耗量。此前公司曾统计员工 AI 使用次数、词元消耗并制作团队排行榜,新版备忘录警告过度追求指标可能适得其反,同时仍要求 AI 成为核心实践,管理人员须亲自使用 AI 工具并向团队说明判断依据。

  4. Tibo50

    ChatGPT 宣布 iCloud Mail 和 Calendar 插件上线,用户可以让 ChatGPT 查找邮件、处理收件箱、查看日程或更新日历事件。该功能面向所有 ChatGPT 套餐,支持网页、桌面和 iOS 端。作者 Tibo 在转发该公告时以玩笑开头,先说今天是 iCloud 插件,随即改口称今天其实是一次 reset。

    引用ChatGPT@ChatGPT

    Much requested, and now yours to connect: iCloud Mail and Calendar plugins are available in ChatGPT. Ask ChatGPT to find that email, catch up on your inbox, check what’s next, or update a calendar event. Phew. Available on all ChatGPT plans on web, desktop, and iOS.

  5. Hacker News:AI 热帖45

    评测者很少谈可靠性,用户提及频率是评测者的两倍

    对 14 个品类约 1 万条观点的分析显示,可靠性、耐用性与售后在评测者观点中仅占 7.8%,在用户观点中占 17.0%,14 个品类里有 13 个是用户提及更多。用户谈可靠性时 70% 为负面,评测者仅 15% 负面;应用与连接性两边提及率接近(8.2% vs 9.4%),但负面比例分别为 21% 和 71%。

  6. IT之家·人工智能58

    菲尔兹奖得主博尔彻兹取消计分家庭作业,称 AI 作弊泛滥仅线下考试可行

    加州大学伯克利分校数学家、菲尔兹奖得主 Richard Borcherds 宣布不再布置计分家庭作业,因为几乎无法分辨作业是学生本人完成还是 AI 生成。据《纽约邮报》10 月 26 日报道,他表示在线考试已在浪费时间,学生可直接用 AI 答题并推高平均分,因此改用不允许电子设备的线下考试评估学习。

  7. IT之家·人工智能62

    消息称 OpenAI 计划正式导入谷歌 TPU,已招募工程师负责模型适配优化

    The Information 报道称 OpenAI 计划正式导入谷歌 Google Cloud 的 TPU,并正在招募领导企业模型在 TPU 上适配优化的工程师。OpenAI 曾在 2025 年 7 月表示仅对 TPU 做早期测试、暂无大规模部署计划;其算力此前已从 TPU 转向 NVIDIA,后又采购 AMD、Cerebras、AWS 芯片并自研 Jalapeño。

  8. TechCrunch:AI80

    Anthropic IPO 最大赢家或为 Amazon 而非 VC

    TechCrunch 根据 Anthropic 的 S-1 分析,VC 持股均不足 5%,而 Amazon 可能是 IPO 最大财务受益方。Amazon 持有 62 亿美元本金可转债、其自估持仓价值 979 亿美元,另投 100 亿美元无投票权优先股,累计投资约 180 亿美元;Anthropic 还承诺未来 10 年在 AWS 至少消费 1100 亿美元。

    推荐理由:文章依据 Anthropic S-1 拆解各股东持股结构,说明为何战略投资者而非 VC 是 IPO 最大受益方,并提示云厂商利益冲突。

  9. Rohan Paul48

    Sundar Pichai 描述了他用来跟进 Google 动态的各类智能体,以及智能体现在如何决定哪些计算信号能传达到 Sundar Pichai 本人。 --- @alexeheath 与 Google CEO Sundar Pichai 的播客

    引用Alex Heath@alexeheath

    How Sundar Pichai uses AI to run Google: "I have agents running internally for me... There are all these chat groups: pre-training, mid-training, post-training data, etc. It could easily take me an hour a day to catch up on what's happened in the last 24 hours, but now I have agents running that summarize and bring that information to me. I can still go deeper, and I do so often. Similarly, there are agents with telemetry into our compute usage, product areas, efficiency, and utilization, and they are giving me inputs and insights."

  10. 公众号:数字生命卡兹克65

    Google 发布世界模型 Genie 4,支持实时操控与原生音频

    Google 发布下一代世界模型 Genie 4,相比 Genie 3 在照片级真实感、物体碰撞等物理模拟上有明显进步。用户可用 WASD 和双摇杆实时控制角色或镜头,运行中可用自然语言修改天气和加入物体,模型还能同步生成环境音与人物实时对话。

    推荐理由:文章梳理了 Genie 4 相比 Genie 3 的画质、实时控制、原生音频等变化,并用视频路线与高斯泼溅路线的对比帮助读者理解世界模型走向。

  11. IT之家·人工智能49

    Opera 推出 WebAI 网页标准,支持浏览器本地运行 AI 模型

    Opera 推出名为 WebAI 的新 Web 标准,允许用户直接在浏览器中运行 AI 模型,无需依赖云端服务。该标准兼容多种开放权重模型,以谷歌 Gemma 为例,在 Mac 上还可调用苹果端侧基础模型,目前已在 Opera One 中以早期预览版推出,需用户主动启用。Opera 称本地处理可让个人信息保留在用户设备上,无需付费订阅云端 AI 服务,但实际表现取决于设备硬件配置。

  12. Rohan Paul60

    Anthropic 通过与美国 GSA 的新 OneGov 协议,向联邦、州、地方、部落及领地政府以 40% 折扣提供 Claude Enterprise、Claude for Government 和 Claude API。

    引用Anthropic@AnthropicAI

    我们正在扩大与 @USGSA 的合作。根据一项新的 OneGov 协议,我们将以 40% 的折扣向联邦、州、地方、部落和领地政府提供 Claude。 https://www.anthropic.com/news/expanding-partnership-gsa

  13. Demis Hassabis61

    Demis Hassabis 宣布 Genie 4 发布,称其结合实时物理、推理与音频,并暗示“模拟中的模拟”。引用的 @GoogleDeepMind 介绍称 Genie 4 是迄今最逼真、交互性最强的世界模型,可实时探索动态环境,观察场景响应、声音以及其中人物的移动、反应和说话。

    引用Google DeepMind@GoogleDeepMind

    This is Genie 4, our most realistic and interactive world model yet. 🌐 Explore dynamic environments in real time to see how the scene responds, sounds, and how the people in it move, react, and speak.

  14. Rohan Paul76

    作者称 Verified AI 迎来标志性月份,Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证,将跨越 500 多篇论文的 15,000 页有限单群分类定理(CFSG)转化为 3800 万行以上机器验证代码,并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一,图中显示 Axiom CFSG 达 43.0M 行,约每 37 天翻倍。

    引用Leo@biosemiote

    CFSG 的形式化证明如今可能已成为有史以来最大的开源项目之一。观看智能体将其组装起来,让人再次意识到其背后那令人敬畏的人类成就。这张图代表了数学家们数十年来发展出的约 15,000 页错综复杂的论证。

    推荐理由:原文汇总了 AI 智能体集群形式化验证有限单群分类定理的规模数据,可作为观察形式化验证能力进展的一个参照点。

  15. Anthropic:Newsroom67

    Anthropic 扩大与 GSA 合作,政府机构购买 Claude 享 40% 折扣

    Anthropic 与美国总务管理局(GSA)扩大合作,政府伙伴购买 Claude Enterprise、Claude for Government 和 Claude API 可享 40% 折扣,预计为政府节省 10 亿美元,且不设最低消费承诺。

    推荐理由:Anthropic 官方公布了折扣幅度、覆盖范围和政府采用数据,读者可以据此了解其公共业务的推进方式。