News Center

AI资讯

OpenClaw updates, AI industry insights & daily curated news

📅 今日资讯

2026年09月14日 时间轴

今日暂无新资讯,查看最新列表 ↓

早报|小米「中折叠」官宣,跟华为发布会「撞档」/微信灰测未读聊天汇总、红包一键直达/50.98万,新一代理想MEGA上市
News 2026-09-05 01:00

早报|小米「中折叠」官宣,跟华为发布会「撞档」/微信灰测未读聊天汇总、红包一键直达/50.98万,新一代理想MEGA上市

· 李飞飞发布世界模型 Atlas,用统一模型生成、重建与模拟三维世界 · 豆包工作支持多 Agents 并行,Mac 版新增操作电脑 · 加州通过律师使用生成式 AI 法案,禁止将法律执业委托给 AI#欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。......

早报|全球主流AI集体宕机/GPT-6 Astra正式发布,AGI已来/微信回应「单删提示」
News 2026-09-05 01:00

早报|全球主流AI集体宕机/GPT-6 Astra正式发布,AGI已来/微信回应「单删提示」

· 英伟达以 129.3 亿美元收购 Hugging Face,承诺保留开放平台 · 前 DeepSeek 研究员魏浩然出任百度文心多模态算法负责人 · 特斯拉 Cybercab 今日亮相,得州登记车队增至 45 辆#欢迎关注爱范儿官方微信公众号:爱范儿(微信号:ifanr),更多精彩内容第一时间为您奉上。......

📰
News 2026-09-05 01:00

Anthropic:Claude 仅用 11 天完成费马大定理首个完整计算机验证证明

IT之家 9 月 5 日消息,Anthropic 于当地时间 9 月 4 日宣布,其 AI 模型 Claude 在基本自主运行 11 天后,完成了对费马大定理(FLT)的首个端到端、经过计算机检查的形式化证明。Anthropic 表示,这项工作并非重新发现费马大定理的数学证明,而是将已有数学证明转换为 Lean 证明助手可以逐步验证的形式。IT之家注:Lean 是一种用于编写和验证形式化数学证明的...

📰
News 2026-09-05 01:00

匿名 AI 模型再现:又一 Alpha 上线 OpenCode,线索指向智谱

IT之家 9 月 5 日消息,在 Ox Alpha 确认为 GLM-5.3-Flash 原生多模态模型后,又一款名为 Omen Alpha 的模型昨日(9 月 4 日)上线 OpenCode Go 订阅计划,种种线索表明同样来自智谱公司。费用方面,该模型目前仅对 OpenCode Go 订阅用户开放,月费 10 美元(IT之家注:现汇率约合 67.4 元人民币),但单独提供 100 美元(现汇率约...