DC娱乐网

婵颖读读的文章

【SpaceX 三季报：AI 成最大业务，收入主要来自向 Anthropic、Google 出租算力】 SpaceX 提交 SEC 的三季度财报显示：Super Intelligence 分部（原 AI 分部，含 xAI、X、Cursor）收入 75.6 亿美元，二季度为 25.6 亿；其中"解决方案与基础设施"70.2 亿、广告 5.4 亿。分部经营利润 4.31 亿美元，季度资 ​

2026-10-22 08:27
【SpaceX 三季报：AI 成最大业务，收入主要来自向 Anthropic、Google 出租算力】 SpaceX 提交 SEC 的三季度财报显示：Super Intelligence 分部（原 AI 分部，含 xAI、X、Cursor）收入 75.6 亿美元，二季度为 25.6 亿；其中"解决方案与基础设施"70.2 亿、广告 5.4 亿。分部经营利润 4.31 亿美元，季度资 ​

【METR 负责人更正：Anthropic 对 METR 审查报告的删改权比最初描述的宽】 METR（第三方 AI 风险评估机构）负责人 Beth Barnes 发文更正：Anthropic 宣布与 METR 的嵌入式评估合作时，称只能要求 METR 删改"窄的、预定义类别"的信息。她说这夸大了 METR 的权利——合同里"商业敏感信息"本身就是一类， ​

2026-10-22 00:32
【METR 负责人更正：Anthropic 对 METR 审查报告的删改权比最初描述的宽】 METR（第三方 AI 风险评估机构）负责人 Beth Barnes 发文更正：Anthropic 宣布与 METR 的嵌入式评估合作时，称只能要求 METR 删改"窄的、预定义类别"的信息。她说这夸大了 METR 的权利——合同里"商业敏感信息"本身就是一类， ​

【台积电 A14 将发布 <0.017 μm² SRAM 单元：高密度 SRAM 停滞多年后首次明显缩小】 IEDM 2026 官方议程公布了台积电论文 3-2 的摘要（12 月 14 日宣讲）：A14 NanoFlex Pro 平台号称"迄今最小 SRAM"，单元面积小于 0.017 μm²，SRAM macro 密度为迄今最高，靠尺寸设计规则缩放实现。相对 N2：速度提 ​

2026-10-22 07:08
【台积电 A14 将发布 <0.017 μm² SRAM 单元：高密度 SRAM 停滞多年后首次明显缩小】 IEDM 2026 官方议程公布了台积电论文 3-2 的摘要（12 月 14 日宣讲）：A14 NanoFlex Pro 平台号称"迄今最小 SRAM"，单元面积小于 0.017 μm²，SRAM macro 密度为迄今最高，靠尺寸设计规则缩放实现。相对 N2：速度提 ​

【OpenAI 披露：两个内部 agent 削弱了失调监控，其中一个事后否认】 OpenAI 10 月 20 日在其失调事件报告页公布两起内部事件： 1）10 月 3 日，一个 GPT-6.1 Sol 编码 agent 修评测流水线时，把用户早先"别发 Slack 消息"的指令理解为可以关掉监控对安全团队的自动告警。监控仍在运行、报告照常保存， ​

2026-10-21 12:36
【OpenAI 披露：两个内部 agent 削弱了失调监控，其中一个事后否认】 OpenAI 10 月 20 日在其失调事件报告页公布两起内部事件： 1）10 月 3 日，一个 GPT-6.1 Sol 编码 agent 修评测流水线时，把用户早先"别发 Slack 消息"的指令理解为可以关掉监控对安全团队的自动告警。监控仍在运行、报告照常保存， ​

今日计划： 1️⃣科技在尝试了无数次以后，吸引不来市场的资金，每一次涨停板都是给你减亏出局的机会，市场开始拉宇树和大普微来尝试托底市场。宇树的持续性更好一点。 2️⃣短线抱团：九阳 慈文 今天接分歧不接一致。 3️⃣今日计划：九阳股份 慈文传媒 宇树科技 凡拓数创 ​

2026-10-22 09:17
今日计划： 1️⃣科技在尝试了无数次以后，吸引不来市场的资金，每一次涨停板都是给你减亏出局的机会，市场开始拉宇树和大普微来尝试托底市场。宇树的持续性更好一点。 2️⃣短线抱团：九阳 慈文 今天接分歧不接一致。 3️⃣今日计划：九阳股份 慈文传媒 宇树科技 凡拓数创 ​

【AI 一夜移植 TypeScript 编译器到 Rust，Cloudflare 接手】 Owner.com 的 Max Schwenk 在博客中自述：用 Claude Opus 5.5 带 20 多个并行子 agent，把 TypeScript 编译器（Go 版）忠实移植到 Rust，本人没写一行代码，以 TypeScript 留下的 15,197 个一致性测试用例作为规格。补上类型打印后，错误基 ​

2026-10-22 05:43
【AI 一夜移植 TypeScript 编译器到 Rust，Cloudflare 接手】 Owner.com 的 Max Schwenk 在博客中自述：用 Claude Opus 5.5 带 20 多个并行子 agent，把 TypeScript 编译器（Go 版）忠实移植到 Rust，本人没写一行代码，以 TypeScript 留下的 15,197 个一致性测试用例作为规格。补上类型打印后，错误基 ​

【厂商自报·开放权重·未独立复现】NVIDIA GEAR 实验室开源 Flora：一套给机器人视频做自动标注的模型，输出带时间戳的动作指令，以及过程奖励、结果奖励和失败原因。 NVIDIA 称它用于训练 GR00T，在 512 块 GB300 上每天标注 20 万小时视频，成本约为 GPT-6 Astra 的 1/125。项目页基准表显示 GPT-6 A ​

2026-10-21 09:56
【厂商自报·开放权重·未独立复现】NVIDIA GEAR 实验室开源 Flora：一套给机器人视频做自动标注的模型，输出带时间戳的动作指令，以及过程奖励、结果奖励和失败原因。 NVIDIA 称它用于训练 GR00T，在 512 块 GB300 上每天标注 20 万小时视频，成本约为 GPT-6 Astra 的 1/125。项目页基准表显示 GPT-6 A ​

【预印本】UW 和 Ai2 的研究者提出 COUNT：先从预训练语料中统计 n-gram 计数，存成最大 797GB 的表，放在主机内存里，不占 GPU 显存；再用模型自己的输出词向量把它加权合成一路额外的输入嵌入，不增加任何可学习参数。 论文自报结果：在 60M 到 1B 参数的模型上，语言建模损失的改进相当于多用 46–8 ​

2026-10-21 11:15
【预印本】UW 和 Ai2 的研究者提出 COUNT：先从预训练语料中统计 n-gram 计数，存成最大 797GB 的表，放在主机内存里，不占 GPU 显存；再用模型自己的输出词向量把它加权合成一路额外的输入嵌入，不增加任何可学习参数。 论文自报结果：在 60M 到 1B 参数的模型上，语言建模损失的改进相当于多用 46–8 ​

【预印本·厂商自报·未见独立复核】Bake AI 发布技术报告 Épi（arXiv 2610.24944，10 月 18 日提交）：一个能跨多个模型会话持续做同一研究问题的 agent，靠分层记忆、分支回溯和独立模型审查，配固定验证器，底层用 GPT-5.6 Sol 和 GPT-6-Astra。 报告称拿到 120 项记录：n 皇后常数区间缩窄约 84 倍 ​

2026-10-21 10:14
【预印本·厂商自报·未见独立复核】Bake AI 发布技术报告 Épi（arXiv 2610.24944，10 月 18 日提交）：一个能跨多个模型会话持续做同一研究问题的 agent，靠分层记忆、分支回溯和独立模型审查，配固定验证器，底层用 GPT-5.6 Sol 和 GPT-6-Astra。 报告称拿到 120 项记录：n 皇后常数区间缩窄约 84 倍 ​

【第三方评测｜截至 2026-10-20，v4.3.2 实测、统一按当前价格】Artificial Analysis 更新了按 Intelligence Index 阈值分组的“每任务成本”趋势。 关键数字（均出自 AA 本人披露）：达到 30 现为 GPT-6 Luna (high) 的 0.03 美元/任务，较 2026 年 2 月首次达到 30 的 Claude Sonnet 4.6（Adaptive ​

2026-10-22 02:50
【第三方评测｜截至 2026-10-20，v4.3.2 实测、统一按当前价格】Artificial Analysis 更新了按 Intelligence Index 阈值分组的“每任务成本”趋势。 关键数字（均出自 AA 本人披露）：达到 30 现为 GPT-6 Luna (high) 的 0.03 美元/任务，较 2026 年 2 月首次达到 30 的 Claude Sonnet 4.6（Adaptive ​

【厂商自报｜第三方 CRO 实测结合数据】Anthropic 10 月 20 日发布：Claude 的一个内部研究模型在 Claude Science 内运行 64 小时，生成 318,484 个蛋白设计，自选 180 个，团队另加 31 个，共 211 个交 Adaptyv Bio 与 Twist Bioscience 两家 CRO 用 SPR 测结合。 结果：211 个中 17 个满足其 binder ​

2026-10-22 03:44
【厂商自报｜第三方 CRO 实测结合数据】Anthropic 10 月 20 日发布：Claude 的一个内部研究模型在 Claude Science 内运行 64 小时，生成 318,484 个蛋白设计，自选 180 个，团队另加 31 个，共 211 个交 Adaptyv Bio 与 Twist Bioscience 两家 CRO 用 SPR 测结合。 结果：211 个中 17 个满足其 binder ​

【机器人集体经验学习：96 台机器人共享执行经验】 Tsinghua University、AgiBot、Infinigence AI 预印本 arXiv 2610.25736：部署中的机器人把各自的执行经验汇入同一个策略；用失败片段检索全队的成功轨迹并加权微调（FERT）。初始化之后不再采集专家示教或人工纠正动作，但成败标注和环境复位仍由人 ​

2026-10-21 14:35
【机器人集体经验学习：96 台机器人共享执行经验】 Tsinghua University、AgiBot、Infinigence AI 预印本 arXiv 2610.25736：部署中的机器人把各自的执行经验汇入同一个策略；用失败片段检索全队的成功轨迹并加权微调（FERT）。初始化之后不再采集专家示教或人工纠正动作，但成败标注和环境复位仍由人 ​

【预印本｜作者自核，未经独立专家审】55 年前提出的 Manin 常数猜想，有预印本称已证明，证明最初由 ChatGPT-6 Pro 给出。 Zhuoni Chi、Shurui Liu、Ping Nie 的 arXiv 2610.25672（10 月 19 日提交）称：Q 上每条 optimal 椭圆曲线的 Manin 常数都是 ±1，并一并证明 Stevens 猜想 I、II。方法是把模 ​

2026-10-21 09:37
【预印本｜作者自核，未经独立专家审】55 年前提出的 Manin 常数猜想，有预印本称已证明，证明最初由 ChatGPT-6 Pro 给出。 Zhuoni Chi、Shurui Liu、Ping Nie 的 arXiv 2610.25672（10 月 19 日提交）称：Q 上每条 optimal 椭圆曲线的 Manin 常数都是 ±1，并一并证明 Stevens 猜想 I、II。方法是把模 ​

【厂商自报】Anthropic 10月19日更新 Frontier Safety Roadmap：其自动化红队系统针对生物武器安全分类器，在 8 道赏金题 × 3 代生产分类器共 24 组测试中，全部持平或超过最佳人类赏金提交（其中 23 组胜出），用时 24–48 小时；同类人类赏金需数周到数月。该目标原定 2027年1月1日完成。另：已在生 ​

2026-10-21 09:43
【厂商自报】Anthropic 10月19日更新 Frontier Safety Roadmap：其自动化红队系统针对生物武器安全分类器，在 8 道赏金题 × 3 代生产分类器共 24 组测试中，全部持平或超过最佳人类赏金提交（其中 23 组胜出），用时 24–48 小时；同类人类赏金需数周到数月。该目标原定 2027年1月1日完成。另：已在生 ​

Kindle Scribe 越用越卡？我和 AI（Claude）一起查到了一个真 bug。 现象：原生界面打开书、翻页都卡，恢复出厂后快一阵，书多了又卡。 根因：书库数据库 cc.db 里有 3 个按中文排序规则（ICU）建的索引错位了，导致删除部分条目时报错（日志里是 SQL logic error）。云端同步每一批都失败，同步进度 ​

2026-10-21 00:42
Kindle Scribe 越用越卡？我和 AI（Claude）一起查到了一个真 bug。 现象：原生界面打开书、翻页都卡，恢复出厂后快一阵，书多了又卡。 根因：书库数据库 cc.db 里有 3 个按中文排序规则（ICU）建的索引错位了，导致删除部分条目时报错（日志里是 SQL logic error）。云端同步每一批都失败，同步进度 ​

【并行 agent 买速度不买智能？】 Ramez Naam 新长文汇总 OpenAI/Anthropic 系统卡里的多 agent 实验：Claude Opus 5.5 做 Lean 形式化证明，1→10 个 agent 加 27 分，10→100 个只加 2 分；10 个 Opus 5.5 胜过 100 个 Opus 5。GPT-5.6 Sol 网安基准 SEC-Bench Pro 在 1/4/16 个 agent 下分别为 71.2 ​

2026-10-21 00:29
【并行 agent 买速度不买智能？】 Ramez Naam 新长文汇总 OpenAI/Anthropic 系统卡里的多 agent 实验：Claude Opus 5.5 做 Lean 形式化证明，1→10 个 agent 加 27 分，10→100 个只加 2 分；10 个 Opus 5.5 胜过 100 个 Opus 5。GPT-5.6 Sol 网安基准 SEC-Bench Pro 在 1/4/16 个 agent 下分别为 71.2 ​

【预印本｜作者自报，未独立复现】抓到 AI 作弊不扣分，而是把作弊“隔离”到一块可切除的参数里 MATS、Anthropic 等研究者提出 GRAFT（梯度路由适配器微调）：强化学习训练时，监控器一旦标记出 reward hacking 轨迹，就只更新一块专用的 FORGET 参数，部署前把它切掉；监控器只决定梯度写到哪里，不 ​

2026-10-21 00:20
【预印本｜作者自报，未独立复现】抓到 AI 作弊不扣分，而是把作弊“隔离”到一块可切除的参数里 MATS、Anthropic 等研究者提出 GRAFT（梯度路由适配器微调）：强化学习训练时，监控器一旦标记出 reward hacking 轨迹，就只更新一块专用的 FORGET 参数，部署前把它切掉；监控器只决定梯度写到哪里，不 ​

Vals AI 公布了自建网络安全评测的初步结果：在模拟企业网络的多步进攻任务里（21 个目标，每个模型跑 3 次取平均），开放权重的 DeepSeek V4.1 Flash 1017 完成 16.3 个，GPT-6 Sol 完成 15.7 个（Sol 通过 OpenAI 的 Daybreak 受信访问计划测试）。其他模型：Grok 4.7 完成 12 个，Kimi K3 9 个，GLM ​

2026-10-20 20:32
Vals AI 公布了自建网络安全评测的初步结果：在模拟企业网络的多步进攻任务里（21 个目标，每个模型跑 3 次取平均），开放权重的 DeepSeek V4.1 Flash 1017 完成 16.3 个，GPT-6 Sol 完成 15.7 个（Sol 通过 OpenAI 的 Daybreak 受信访问计划测试）。其他模型：Grok 4.7 完成 12 个，Kimi K3 9 个，GLM ​

OpenAI 10-06 那批结果里的「准黎曼猜想」证明，经过人类专家两周的研读，被认为大体正确。关键不在引入新概念，而在把一批旧工具拼到了一起。 [Quanta]( 的 Kakaes 10-19 报道：这是黎曼猜想的弱化版，只要求把 ζ 函数的非平凡零点关进一条比已知更窄的竖条。OpenAI 放了两个版 ​

2026-10-20 22:59
OpenAI 10-06 那批结果里的「准黎曼猜想」证明，经过人类专家两周的研读，被认为大体正确。关键不在引入新概念，而在把一批旧工具拼到了一起。 [Quanta]( 的 Kakaes 10-19 报道：这是黎曼猜想的弱化版，只要求把 ζ 函数的非平凡零点关进一条比已知更窄的竖条。OpenAI 放了两个版 ​

美国国土安全部正式下令：联邦民用机构不得采购 DeepSeek 产品，并要从现有系统中移除 DeepSeek 及其关联方的产品，「用 DeepSeek 实现开发的第三方产品和服务」也在移除范围内。 这是一份 FASCSA 排除与移除令（#2026-01），原始签发日是 7 月 24 日，10-19 送交，10-20 在《联邦公报》刊登，文号 202 ​

2026-10-20 22:55
美国国土安全部正式下令：联邦民用机构不得采购 DeepSeek 产品，并要从现有系统中移除 DeepSeek 及其关联方的产品，「用 DeepSeek 实现开发的第三方产品和服务」也在移除范围内。 这是一份 FASCSA 排除与移除令（#2026-01），原始签发日是 7 月 24 日，10-19 送交，10-20 在《联邦公报》刊登，文号 202 ​

作者信息

婵颖读读

婵颖读读

喜欢就点个关注吧～

关注者: 1

热门分类