清华姚期智团队出新作:代数世界模型,让 AI 学会证明「这题无解」
清华姚期智、袁洋团队提出代数世界模型AWM,把游戏规律形式化成机器可验证的数学断言,在ARC-AGI-3上配合Opus 5通关全部183关,动作数只有人类基准的43%,还能证明关卡无解。
阅读原文阿里千问AI眼镜OTA升级:新增通话翻译和媒体实时翻译,抗噪再升级;N1系列上月发布,支持换电池,2899元起。
阅读原文Parameter团队披露ChatGPT高危漏洞:点开一条恶意公开分享链接,攻击者脚本就能读走私人对话,评级P1;OpenAI已于10月26日修复,发放5000美元赏金。
阅读原文Cisco Talos披露VOLTA窃密木马:偷完密码和钱包后,把受害者资料交给大模型按「值多少钱」排序,走OpenRouter,默认Claude Opus 4.6,被拒就换Kimi、Gemini。
阅读原文渠道消息:AMD拟本月再涨GPU加GDDR6显存套料的供货成本;Q3显存已涨约8%-10%,10月涨过一次,11月或再涨一轮、幅度不小。
阅读原文卡兹克引述OpenAI帮助文档:12月起Plus和Pro用户的ChatGPT与Codex用量合并为同一Token额度,仅Instant聊天不受影响;作者认为与IPO前的算力成本压力有关。
阅读原文联邦法官驳回SpaceX旗下xAI的撤诉动议:NAACP指其在孟菲斯外Colossus数据中心无证运营至少35台燃气轮机、违反《清洁空气法》;本月司法部同类动议也被驳回。
阅读原文OpenRouter发布教程:233行纯标准库脚本,用Responses API串起文件上传、Shell沙箱和Apply Patch,让模型实际运行变更、确认bug后返回补丁。
阅读原文Apple CEO John Ternus(9月1日上任)接受Wired采访,回应AI落后质疑:产品好用就行,「我们不想为了AI而AI」;新版Siri今夏已上线。
阅读原文The Verge编辑Sean Hollister花50美元买Waveshare ESP32-S3挂坠,用Claude写代码接入Meta开源的Muse协议,抢先做出Muse Charm的平替AI电子宠物。
阅读原文开发者在Memdoor复现5个Qwen3.8-27B小模型分工解题,LiveCodeBench Hard前10题平均对9.8题,Fable 5单次调用对8.0题;样本很小,也无法排除训练污染。
阅读原文