在无人在意的角落，OpenClaw 又更新了。　　刚刚，OpenClaw 正式发布 v2026.10.1。按照官方公布的数据，这次更新汇集了 402 位贡献者的工作，涉及 2425 个 PR、3055 次提...

　　当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的?　　美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数学家应该了解的Lean定理证明器：可靠性与人...

　　这条 2028 的时间表，是别人提给高通的。　　10 月 8 日，高通首席执行官 Cristiano Amon 在一场访谈里提到，前沿 AI 公司已经在要求一件事：到 2028 年，手机要能持续运行约 10...

　　众所周知，苹果今年因为成本上涨等原因对产品进行了大涨价，如此前的 iPad mini 7 就从 3999 元涨到了 4799 元，上涨了 800 元。　　但这并不是止点，据彭博社最新消息显示，苹果还将对本月...

　　据中新经纬消息，当地时间11日，特斯拉创始人兼首席执行官马斯克发布了一张截图，显示SpaceXAI的官方账号已更名为“SpaceX Super Intelligence”(@SpaceXSI)。　　10月4...

　　腾讯的 AI 产品，最近开始接连收到停服通知了。　　9 月 24 日，腾讯 QClaw 刚宣布年底停止运营。　　仅仅过了两周，另一款运营两年多的官方 AI 平台，腾讯元器，也宣布要关停了。　　10 月 8 ...

　　凭借一款不聊天、不写代码的模型Jev，AI创业公司TypeSafe AI吸引了硅谷顶级投资机构的重注。　　美国当地时间10月9日，TypeSafe宣布完成8.7亿美元A轮融资，投后估值达到75亿美元。a16...

　　欧盟《数字市场法》的并购披露页面上，苹果新添了一行不起眼的备案。据 The Verge 与 MacRumors 报道，备案显示苹果已与一家名叫 Huxe 的公司签署协议：苹果可以雇用 Huxe 的员工，并授...

　　「Welcome home.」　　一句「欢迎回家」，苹果为 10 月 13 日的神秘新品活动埋下了伏笔。　　一个「Home」，似乎暗示了这场活动的主角。正如我们此前的报道，这一次，苹果可能要往我们家里添不少...

　　近期，消费电子市场正在迎来一轮由存储芯片驱动的涨价浪潮，手机、笔记本电脑两大主流终端相继上调售价。目前华为、小米等手机品牌已经落地调价;同时TrendForce集邦咨询也发出预警，受内存、SSD等零部件成本...

　　TRAE，刚刚做了个大动作。　　以前的你，如果要改个bug，得打开TraeCode;要是还得出份技术方案，那又得一个“闪身步”，跳到TraeWork……　　现在，不需要这么麻烦了。　　因为它俩今天已经正式双...

　　10月9日报道，今天凌晨，在Gemini at Work 2026大会上，谷歌云正式推出企业通用智能体Gemini Agent，试图将原本分散在办公软件、数据平台和开发工具中的任务，交给一个能够自主规划、调...