AI Radar

10月23日周五 · 40 条

10月23日周五：20 条精选

← 2026-10-222026-10-24 →
The Verge AI5 天前资讯产品发布/更新海外

苹果在 Apple Music 404 页面复刻初代 iPod

苹果在 Apple Music 的 404 页面中藏了一个虚拟初代 iPod，用户在社交媒体上发现后，只要在 Apple Music 主域名后随意输入一串字母，就能进入这个页面。这个 iPod 里预置了 Coldplay《Viva La Vida》、Gorillaz《Feel Good Inc.》等 2000 年代初的歌曲。初代 iPod 于 2001 年 10 月 23 日发布，售价 399 美元，iPod 产品线在 2022 年停产。这个彩蛋可能是为纪念 iPod 发布 25 周年。

推荐理由想体验初代 iPod 界面的人，在 Apple Music 网址后随便加几个字母就能打开。

#行业动态#产品更新#iPod44
Techmeme6 天前资讯行业动态海外

AI 肿瘤药公司 Pathos AI 完成 2.37 亿美元 E 轮融资，估值 30 亿美元

Pathos AI 于周五宣布完成 2.37 亿美元 E 轮融资，投后估值 30 亿美元。该公司用 AI 开发肿瘤药物。2025 年 5 月完成 3.65 亿美元 D 轮融资后，其估值是 16 亿美元，本轮融资后估值较当时接近翻倍。原文信息有限，未披露投资方和资金用途。

推荐理由一家 AI 制药公司 5 个月内估值从 16 亿涨到 30 亿美元，可作 AI 制药融资热度的参照。

#AI 制药#Pathos AI62
The Verge AI6 天前资讯行业动态海外

AI 工具加速老游戏移植，社区站点被迫关停

AI 编码工具正被大量用于老游戏的反编译与重编译（decomp/recomp），把原本需要数年的逆向工程压缩到数周。AI 顾问 Chris Sotraidis 用社区已有的《塞尔达传说：时之笛》反编译成果，几周内同时推进十几个移植项目，包括把游戏搬到 iPhone 和 iPad 上。他表示，没有 AI 不可能有这样的速度和产量。但 AI 代劳也让开发者失去理解游戏内部实现的机会，影响忠实还原。上周，一个追踪反编译项目、提供资源的社区网站因 AI 冲击突然关停。

推荐理由想了解 AI 编码工具真实生产力边界的人可以看：一个人几周内推进十几个移植项目，代价是社区知识断层。

#Agent#开源生态#反编译60
Techmeme6 天前资讯行业动态海外

Dwarkesh 专访 Intel 管理层：谈 AI 芯片需求与追赶台积电

Dwarkesh Patel 在播客中发布了对 Intel 管理层的采访，受访者包括 CTO Pushkar Ranade。访谈话题涵盖 AI 芯片需求、10nm 制程的经验教训、Intel 能否追上台积电，以及 Terafab 等。Patel 表示，他在 Intel 最先进的晶圆厂参观了两天，并据此整理了这次访谈。原文正文信息有限，具体观点和数字未在摘要中披露。

推荐理由想了解 Intel 代工路线和 Terafab 计划的人，可以听 Intel CTO 亲口讲 10nm 的教训

#部署工程#Intel62
Hacker News · AI6 天前资讯政策监管海外

瑞典政府办公室禁止员工使用 ChatGPT 和 Claude

瑞典政府办公室（Regeringskansliet）从下周一起在员工办公电脑上屏蔽 ChatGPT 和 Claude，要求员工改用已获批的工具，包括微软 Copilot；同时，政府办公室在审查后提升了 Copilot 的安全性。数字化主管 Mikael Wettercrantz 表示，使用没有签订合同的 AI 服务可能“影响我们的信息安全”。瑞典税务局、国家机构委员会也已实施类似屏蔽，强制执行局正在评估。此前，政府办公室已限制 DeepSeek 的使用；部分员工仍可通过政府办公室自研的 AI 助手平台访问 Chat…

推荐理由瑞典政府禁用 ChatGPT 和 Claude、只留 Copilot，做政企合规和私有化部署的可以对照这个案例

#OpenAI#Copilot81
The Decoder6 天前模型论文研究海外

Anthropic 用 Claude 自动生成形式化证明，验证代码安全性

Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 对 Google OSS-Fuzz 项目中 123 个开源库的测试程序进行形式化验证，几周内生成了约 1.8 亿行数学证明代码，由 Rocq 独立校验，几乎不需要人工复核。过程中 Claude 发现并自行修复了数百个 bug，其中包括一个隐藏十余年的逻辑错误；在验证某 PDF 阅读器时，一周内发现的安全漏洞数量相当于该软件全年通常报告的数量。局限也很明确：证明只在特定处理器架构、单线程、输入小于 64 MB 的条…

推荐理由形式化验证原本需要 20 人年才能完成 seL4 内核，现在 Claude 几周就能生成 1.8 亿行证明

#Anthropic#安全对齐#形式化验证76
The Decoder6 天前资讯行业动态海外

OpenAI 估值目标下调至 1.25 万亿美元，融资至多 300 亿美元

OpenAI 即将完成至多 300 亿美元的新一轮融资，但为达成交易下调了估值目标：最初向投资者提出的估值为 1.4 万亿美元，现已降至 1.25 万亿美元。据 FT 报道，本轮需求弱于此前几轮，部分投资方在重仓参与前几轮后出现“消化不良”。本轮由阿联酋投资者和投资公司 Coatue 领投，资金被定位为潜在 IPO 前的过渡融资。OpenAI 还在谈判通过阿联酋获取额外算力的商业协议。公司已于 6 月向 SEC 秘密提交 IPO 招股书，CFO Sarah Friar 8 月对员工称 2027 年前上市，CEO S…

推荐理由融资需求转弱、估值缩水 1500 亿美元，是判断 AI 泡沫与 IPO 窗口的关键信号

#OpenAI#IPO76
MarkTechPost6 天前资讯技巧与观点海外

TinyFish 发布 Agentic Search 架构，编码任务完成率 79%

AI 搜索基础设施公司 TinyFish 发布两份技术指南，分别定义生产环境的 agentic search 架构，以及构建深度研究系统的经验。系统由 TinySearch、TinyFetch、TinyBrowser、TinyAgent 四个 Web 原语组成，在基础模型外围运行七阶段控制循环：定义任务、规划检索、选择路径、发现与获取、评估证据、恢复或升级、停止与验证。在 OpenBenchmarks 上，编码任务完成率 79.0%，中位任务成本 0.050 美元，token 消耗最低。架构参考 2026 年 2 …

推荐理由做生产级搜索 Agent 的团队可直接参考其七阶段循环和按失败类型重试的设计，成本 0.05 美元/任务。

#Agent#部署工程#TinyFish69