美国商务部拟投 3.89 亿美元：4 家公司攻关功率半导体与 AI 数据中心
10 月 22 日消息，美国商务部宣布计划通过《芯片与科学法案》框架下的半导体研发项目，向 4 家企业提供最高 3.89 亿美元研发资金，按当前汇率约合 26.02 亿元人民币。这批资金用于功率半导体器件与关键材料研发，落地场景指向核聚变发…
AI闪点第 112 页1958 篇
Anthropic 让 Claude 生成 1.8 亿行形式化证明
10 月 22 日消息，Anthropic 的 Frontier Red Team 与形式化验证公司 Theorem Labs 合作，把 Claude 用在了软件正确性证明上。团队取来谷歌 OSS-Fuzz 中 123 个开源库的测试程序，…
Carbon-X：14.8B DNA 模型 66.7 分，成本仅 1/1800
10 月 22 日，Hugging Face 联合北京中关村学院与意大利那不勒斯费德里科二世大学 Telethon 遗传与医学研究所，发布开源生物模型 Carbon-X，把 DNA 序列与自然语言塞进同一个解码器里。实际参数约 148 亿，…
OpenEvidence 估值 150 亿美元：4200 万次月度问诊
10 月 21 日，据 Financial Times 报道，医疗 AI 搜索公司 OpenEvidence 在最近一轮融资中以 150 亿美元估值获得 2.5 亿美元投资。这家 2022 年由 Daniel Nadler 创办的迈阿密公司…
Cerebras 跑通 3 万亿参数 Kimi K3：单晶圆 44GB 内存
10 月 22 日，Cerebras 官方技术博客披露了万亿参数前沿模型的部署方法，用开源的 Kimi K3 作为示例：约 3 万亿参数模型被切分到多块 WSE-3T 晶圆上，推理速度达到每秒 1000 到 2000 以上 token。Ki…
黄仁勋：2029 年内存不太可能过剩，LPDDR 能效高出一倍
10 月 23 日，据 CNBC 报道，英伟达 CEO 黄仁勋在周四接受采访时表示，到 2029 年内存芯片行业不太可能出现产能过剩。他的判断依据很直接：「内存的一大好处是，你总是可以用得更多。」 存储板块刚经历一轮集中抛售 这番表态出现在…
马斯克要给 Optimus 建学校：需造 1 万到 2 万台机器人自己练
10 月 21 日，在特斯拉财报电话会议上，马斯克把训练人形机器人 Optimus 比作养育幼儿。他解释，自动驾驶系统可以从庞大车队积累的数据中学习，但 Optimus 没有这样的条件，只能通过观察人类工作再亲自练习来掌握技能，因此特斯拉正…
宇树发布 H2-X 极限测试：主打 8 小时续航，开放世界物理 AI 竞赛
10 月 21 日，宇树科技发布全新人形机器人 H2-X 的广告视频，主打长达 8 小时的电池续航。视频中 H2-X 演示了砸凹汽车挡泥板、抬起保险杠、救助儿童模型等戏剧化动作，官方在描述中明确标注「严禁模仿」，并提示用户保持 2 到 3 …
生数科技直播 Motubrain 2.0 全程训练：预训练到 RSI 四阶段公开
10 月 21 日，生数科技世界模型团队正式开启 Motubrain 2.0 训练全流程公开直播，计划持续半个月，向公众展示这款具身模型从训练、测试到能力迭代的完整过程。这在 Physical AI 领域还是第一次。此前小米 MiMo 负责…
ConnectWise 云备份被破：AI 智能体每分钟 3000 次登录
10 月 22 日，据 TechCrunch 报道，微软安全研究人员称，与国家关联的中国黑客攻破了 IT 管理与远程接入厂商 ConnectWise 的云备份服务，窃取了用于建立数据连接的应用程序凭据，随后以此入侵了约 2250 家机构的企…