OpenAI:ChatGPT/Codex 进物理工程——Astra 一周出样机;硬件团队用量 23 倍;联手 Ganassi Racing 与马自达
「能出设计」不等于「能上产线」——中小制造选型时要把公差、装配与人工复核写进验收,而不是只看演示周数。
AI NEWS
中文版和英文版是同一天。这一页列出全部条目,每条都有原帖、作者和互动。
最近一天
共 24 条,按互动综合分排序。未核实条目已标明。
今日前三
OpenAI:ChatGPT/Codex 进物理工程——Astra 一周出样机;硬件团队用量 23 倍;联手 Ganassi Racing 与马自达
「能出设计」不等于「能上产线」——中小制造选型时要把公差、装配与人工复核写进验收,而不是只看演示周数。
Anthropic 开源 FlashProve:用 zkSNARK 证明「回复确实来自所承诺模型」,Llama 4 Maverick 约 110 tok/s 出证
「你付的是哪套权重」第一次有工程化密码学答案,政企采购与审计或会把可验证推理写进合同附件。
OpenAI 筹备下一轮内部安全冲刺:联手 Cathedral 用自有模型攻防;同步大幅上调漏洞赏金
头部实验室把「用自己的模型打自己」写进常态安全流程,政企若买同级模型,验收清单应加上红队与赏金对接条款。
全部
「能出设计」不等于「能上产线」——中小制造选型时要把公差、装配与人工复核写进验收,而不是只看演示周数。
OpenAI 11 月 3 日发文称,ChatGPT 与 Codex 已用于机械设计、电气工程与仿真,帮助内部硬件团队更快迭代,并与行业合作方试跑新流程。官方示例:两名员工用 GPT-6 Astra 在一周内作为副项目设计可对话 Codex 的样机(外壳、PCB、界面与固件),合同厂一个月内打出小批量;量产就绪仍需多轮人工审校,Astra 对公差与装配约束仍不稳定。自 2 月起硬件团队按 token 计的模型用量增约 23 倍;另与 Chip Ganassi Racing 把 3D 扫描转可编辑 CAD/图纸,并与马自达探索气动与碰撞仿真中的车型设计。官方同时开放工程合作报名。
「你付的是哪套权重」第一次有工程化密码学答案,政企采购与审计或会把可验证推理写进合同附件。
Anthropic 发布「可证明推理」进展并开源 FlashProve:提供方可先对权重做承诺,再为每次回复生成零知识简洁证明,用户在普通 CPU 上即可验证,无需权重。官方测例为 Llama 4 Maverick(约 400B MoE、4-bit):单卡 H100 约 110 tokens/秒出证,每 1024-token 请求证明约 19MB,相对 vLLM 推理 GPU 时间约 70–95 倍。发布含技术报告、Lean 形式化与 Apache 2.0 代码。官方强调仍是研究原型:快速可执行代码未经形式验证;证明针对整数模型与贪心解码;上下文上限约 1024;不隐藏架构。
头部实验室把「用自己的模型打自己」写进常态安全流程,政企若买同级模型,验收清单应加上红队与赏金对接条款。
OpenAI 11 月 2 日宣布筹备下一轮内部安全冲刺,并与 Cathedral Systems 合作:对方研究员将与 OpenAI 团队一起,用 OpenAI 模型挑战其防御。官方称上一轮曾投入约 25% 产品工程师找洞与修复,并用 Codex 在隔离环境复现与打补丁。同日安全赏金计划上调:核心产品(如 ChatGPT、Codex、API)严重漏洞最高约 3 万美元,特例最高约 10 万、含奖金最高约 17.2 万美元;对近 30 天已发赏金若新档更高将补差。冲刺起止与范围未公布,属计划公告而非结果报告。
仓库自动化验收要从「演示吞吐」改看「平均多久坏一次、修多久」——停机一小时就是码头堆箱。
波士顿动力 11 月 3 日发布 Stretch Gen 2 自主移动卸货机器人。官方称基于超 10 万运行小时与数千万箱实绩,针对停机主因重做硬件:车规级连接器、升级夹爪传感、连续旋转关节、内部线缆减少约 81%;全套 swerve drive 更换从约一天降到约一小时,并加强机载诊断以便客户自维。峰值卸货可达约 1000 箱/时(视箱重与堆叠而定),电池约两班、快充约 75 分钟到 90%。物流机器人 VP Brian Donnelly 称重点是减少真实码头上的非计划停机。
人形仓储机器人进资本市场后,交付与毛利会季报化,工厂采购可对照公开数据谈试点条款。
Agility Robotics 宣布 Churchill Capital Corp XI(Nasdaq: CCXI)股东已批准与其业务合并。公司称预计 11 月 4 日交割,并预计 11 月 5 日起以 AGLT 在纳斯达克交易。这是 SPAC 路径上市的关键节点公告,具体交割与交易以监管文件与交易所通知为准。Digit 等人形/仓储机器人因此进入公开市场融资与披露框架。
「Agent 碰钱」从概念变成持牌入口默认叙事,老板开权限前先写死限额、留痕与人工闸门。
Coinbase CEO Brian Armstrong 发帖称,他多数日子醒来都在想 agentic finance,虽仍早期但增长轨迹指向未来方向。Coinbase for Agents 的定位是:把 Agent 连到账户,在限额与控制下代为交易与支付。结合近日产品说明,官方反复强调 Agent 可能失败、用户须自负全责。这是 CEO 叙事帖,具体功能与地区可用性以产品页为准。
预约入口被 Agent 代拨后,诊所要准备「机器来电」识别与回拨策略,否则高峰会更乱。
Elon Musk 发帖称 Grok @Bot 可以调研你所在地区最好的医生,并打电话预约。同日他另帖鼓励用户让 Bot 代打电话,并把 Bot 比作「超级能干的同事」。这是产品能力宣传,未给出成功率、适用地区或医疗合规边界;能否真正完成挂号取决于诊所接听与当地规则。对个人与小诊所来说,意味着「漏接电话」可能越来越多来自 AI 而非真人。
研发前期计算正在被通用大模型「短提示化」,药企与材料团队仍要用自有验证集验收,不能拿演示当 SOP。
Mistral 官方演示:给 Mistral Large 4 短提示,模型从零写出量子化学自洽场(SCF)求解器,校验输出并搭建 3D 可视化,用以展示「拆开分子」时的轨道变化。后续帖解释这是化学家在实验室前用计算机预测分子行为的一步,可通向新药、材料或电池。演示由官方发布,未给出独立基准或生产部署数据;将其视为能力展示而非可直接进药企流水线的工具。
赏金补差说明平台在抢「白帽时间窗口」——中小 SaaS 若公开赏金,也要写清历史单是否追溯。
OpenAI 在安全冲刺同日说明:更新后的漏洞赏金档位也适用于仍在等待发奖的报告;过去 30 天内已发奖的,若按新区间应得更高,将补足差额,并给出赏金计划链接。结合主帖,核心产品严重漏洞赏金中枢大幅上调。这是激励独立研究员找洞的配套政策,具体金额以官方赏金页为准。
看人形机器人别只盯发布会,盯产线出货视频与后续交付公告,才能判断是样品还是产能。
Figure AI 创始人兼 CEO Brett Adcock 发视频称,新制造的 F.03 机器人正在离开 BotQ 工厂、穿梭园区。帖文几乎无文字细节,属产能与产线可视化展示,未披露产量、良率或客户交付数。结合近期人形机器人融资与估值讨论,这条更像「工厂在出货」的现场信号,具体合同交付仍需公司后续披露。
工具定位变成「同事」后,权限与复核流程要比聊天机器人严一档,否则交办即失控。
Elon Musk 发帖称 Grok @Bot 像雇了一位超级能干的员工,建议像对待同事一样使用它,并引用相关演示帖。同日他连续强调 Bot 可调研、打电话、规划复杂行程等。这是产品定位与使用习惯宣传,未给出任务成功率或企业权限模型细节。对一人公司与小团队,叙事已从「问答」转向「交办」。
把广告花费交给 Agent 前,先设每日预算帽与异常熔断,否则自动化会先烧钱再出报表。
Perplexity 官方称其 Computer 产品可自动化电商业务各环节,直接在 Computer 内运行 Meta 广告、Klaviyo 邮件营销与 Shopify 店铺,并给出电商落地页。这是厂商功能宣传,未披露转化提升或佣金分成数据;店铺授权范围、广告花费上限与人工审批闸门需用户自行配置。对中小电商店主,意味着「投放+邮件+后台」可能被收进同一 Agent 工作台。
「开运动处方」若进基层与体检产品,服务商要准备可执行剂量与随访,而不是一句多走路。
医师科学家 Eric Topol 转发并强调:运动对脑健康应被处方化,而不只是口头建议,并链向相关综述/评论与配图。帖文本身是观点动员,具体运动剂量、适应症与禁忌以所链文献为准,并非一项新随机对照试验的完整结果发布。它反映临床意见领袖正把生活方式干预推到与药物类似的「可开具」叙事。
实验模型热度很高时,诊所采购要认准是否完成人体试验与器械准入,避免把预印叙事当疗法。
Eric Topol 指出不应低估迷走神经调控力量,并转发 Nature Biomedical Engineering 上关于无创路径、帕金森病潜力的实验模型研究链接。他明确这是实验模型工作,不是已获批的临床疗法。对神经调控与数字医疗团队,意味着机制探索仍热,但转化到患者终点尚需严格试验。
演示级航天可视化很炫,政企若用于态势感知仍要接权威星历源与值班流程。
Mistral 称任务要求 Large 4 做一个实时 3D 跟踪器,覆盖约 1.9 万颗在轨卫星与碎片;模型做出可运行应用,按用户方式自测、优化速度并通过严格验证,作品命名 Orbital Trace。这是官方模型能力演示,数据源、更新频率与航空合规未在帖中展开。适合作为「通用模型做专业可视化工具」的样本,而非航天运营系统替代品。
大仓 Git 一直是中大型研发隐形瓶颈;若头部实验室外放方案,工具链采购多一个对照标杆。
OpenAI CTO Greg Brockman 介绍 Pando:可扩展到超大 monorepo 的 Git 后端。团队坚持继续用 Git,从而在不改开发体验的前提下启用 Pando;并表示正考虑向外部提供,感兴趣可邮件 gdb@openai.com。帖文引用 OpenAIDevs 相关说明。这是内部基础设施产品化意向,尚未公布定价、SLA 或开源许可。
卡组织把「Agent 可信支付」拆成产品栈,电商店主要对齐:授权意图、商户可发现性、拒付责任归谁。
支付观察者 Marcel Oost 长帖整理:万事达 CEO 在财报会上称已与 OpenAI 签署广泛战略合作,含 Agent Pay,并延伸至支付、服务增长与 AI 转型。帖中归纳四层产品:Agent Pay、Verifiable Intent、Agentic Trust Intelligence、Agent Connect,并称 Shopify Shop Pay 已用 Agent Pay 与网络代币;CEO 称 agentic 交易仍「早期」但周环比上升。该帖为二手整理,非万事达/OpenAI 官方账号原文,细节以财报会记录与官方稿为准。
「千万激活」很好看,品牌方谈合作时要问清激活口径与成交,避免把拉新当 GMV。
财经账号 wallstengine 大写转述称,AMD CEO 苏姿丰表示 Meta 的 Muse 智能体在上线约六周内激活超过 1000 万人。帖文未附原始演讲逐字稿或 Meta 官方确认,属会议/公开场合言论的二手传播。若属实,说明平台级购物/个人 Agent 获客可以极快;具体定义(激活 vs 留存 vs 下单)与是否含实验流量仍待一手核验。
「开源权重 + 共研工作区」降低数学/科研 Agent 试用门槛,但生产前仍要自建评测集防幻觉证明。
Mistral 宣布 Large 4 加入 Open Math OS 模型阵容:约 1.05 万亿开源权重、100 万上下文,即日起对获批团队开放。Open Math OS 被描述为数学家与 AI Agent 在共享项目上协作的研究工作区,且只基于开源模型以便社区检查与运行。这是官方产品/合作公告,申请门槛与算力要求以 Open Math OS 页面为准。
稳定币结账若进主流店铺后台,跨境小店要同时算清汇率、合规与退款路径,不能只看到账速度。
Brian Armstrong 简短发帖称很高兴与 Shopify 合作稳定币支付,并附相关媒体/公告引用。细节未在帖内展开,通常指向电商结账接入稳定币结算轨道。具体支持币种、国家/地区与费用以双方产品说明为准;这与 Coinbase 推 Agents、Shopify 推 Agent 结账的叙事同一周共振。
试点审批快不等于临床证据够;采购健康 AI 要先看论文与利益披露,再看州长新闻稿。
Eric Topol 批评式观察:犹他州在批准多家消费者健康 AI 公司试点上全国领先,但无一发表同行评议论文;其中一家还在「端到端」AI 医疗中销售自有专有产品。帖文配截图/报道引用,强调证据缺口与利益冲突风险。这是意见领袖监督,不是监管处罚公告。
顶会日程是供应商路线图的晴雨表;工厂选型可对照自家场景问「有没有世界模型闭环」。
NVIDIA Robotics 预告:Dr. Jim Fan 将于 CoRL 2026(11 月 9 日,下午约 1:50 CST)演讲,主题覆盖世界模型、机器人基础模型与智能体机器人,如何把前沿 AI 带进物理世界,并给出日程链接。这是会议预告帖,不含新基准数字。对制造与物流团队,标志着「具身 + Agent」仍是顶会主叙事。
合规敏感的小团队可先把「文件解析」留在本地,再让云端 Agent 只碰脱敏文本。
中文账号小安实验室介绍开源工具 filens:一个本地 CLI 覆盖约 334 种格式的读取、搜索与 OCR,输出文本或 Markdown,强调文件不出本机,适合资料多又不想上云的人给 Agent「喂文件」。帖内互动不高,定位为工具安利;功能与许可证以 GitHub 仓库为准。反映中文圈对「本地优先 Agent 工具链」的持续需求。
若「改别人权重」成真,开源模型供应链的安全与水印策略都要重写;目前先当研究动态跟踪。
账号 mylifcc 长文转述称 MIT CSAIL 团队发现前沿模型可用自然语言读写神经网络原始权重(权重空间编程)。文称 GPT-6 Astra 在不做训练、仅前向观察下修改 Qwen3.5-0.8B 约 0.016% 权重,使 MATH-500 从 7.9% 升至 48.1%。细节丰富但为二手科普整理,原始博客/论文数字与设定需以 MIT 一手发布为准。本条按未独立核实处理。