日报订阅
11/12码上 AI 日报10 条

Claude 能画白板、做表格了!

Claude 能直接画白板、做表格了,有投资人说这一下灭了 150 家 SaaS 公司 📋 另外,Anthropic 的 AI 记了近四万个漏洞发现、标成修好的只有 217 个;DeepMind 用 AI 把 Signal 的安全一路证到机器码;OpenAI 交的千禧年难题证明被验完,只证了一半;还有人派 48 个 AI 代理翻雨林,翻出一座玛雅遗址,结果是「重新发现」🏛️

🐉 第 7 条那个 AI 吵出来的游戏 Dread & District,浏览器里直接玩:https://dread-and-district.netlify.app

这一期的 10 条新闻

  1. 01

    Claude 出白板和表格

    Anthropic 推出测试版的 Claude Whiteboards(说一遍计划就排成带时间线、负责人、日期的白板,团队一起改)和 Claude Sheets(一句话生成带分页、公式、下拉菜单的表格,功能还很基础,可以导出 .xlsx / CSV),10 月测试的 Claude Dashboards 转正改名 Claude Data。所有付费方案可用。「灭了 150 家 SaaS 创业公司」是投资人 Jason Calacanis 在 X 上的说法。

  2. 02

    近四万发现 修了 217

    安全公司 VulnCheck 七个月追踪 Anthropic 的 Glasswing 计划:能归到 Anthropic 名下的 CVE 有 442 个,约占今年全部 CVE 的 0.5%,已知被在野利用的 2 个;Anthropic 自己的账本记了 37,966 个发现,公开约 19%,标成已修复的 217 个。curl 已公开的 34 份报告里 19 份不算漏洞、6 份确认是低危。这是 VulnCheck 的统计和观点。

  3. 03

    AI 证明 Signal 安全

    Google DeepMind 发布 AlphaProof Code:人和 AI 一起把安全性质写成 Lean 规格,再由一队 AI 代理证明,Lean 内核检查通过才算。用在 Signal 的参考实现 libsignal 上,直接对编译出的 AArch64 机器码证明了 PQXDH 握手和三重棘轮的前向保密、认证等性质,生成约 650 万行证明;需要人信任的规格和语义约 2.6 万行。侧信道不在范围内。

  4. 04

    千禧年难题 证了一半

    Yang–Mills 评审组 11 月 10 日公开对 OpenAI 10 月 28 日提交的 Lean 代码的验证:重新编译、公理审查和 Comparator 检查都通过;他们判断它证明了可以从四维 Wilson 格点规范理论的标度极限构造出满足 Wightman 公理的量子场论,但没有证明无限体积极限唯一,也没有证明质量间隙,所以不等于完整的千禧年难题。评审组说用 OpenAI 的 Astra 帮忙读代码,也还没完全看懂这个证明。

  5. 05

    48 个代理找遗址

    Pietro Miotti 不是考古学家,他让 48 个 AI 代理把 NASA G-LiHT 激光雷达数据(约 1200 平方公里墨西哥雨林)转成图片逐张查看,找出一座带广场和至少 8~12 米高金字塔的山顶遗址,报告发给墨西哥国家人类学与历史研究所(INAH),对方回复登记册里没有。11 月 11 日他更新说,这里其实已经在 Estrada-Belli 等人 2025 年的论文里画出来了,只是代理查文献时漏掉,所以是重新发现。

  6. 06

    一晚设计人形机器人

    Jake Fitzgerald 在 X 上说,他让 Claude Fable 5.2 设计一台人形机器人,一晚上它用 build123d 生成了整套 CAD 文件、一个 MuJoCo 仿真和一条 Blender 渲染的宣传片;视频里标着 689 个零件。机器人目前只是设计和仿真,没有实物。

  7. 07

    AI 吵出一个游戏

    Ethan Mollick 给 Claude Fable 5.2 一段模糊的要求:一个有温度的奇幻运输模拟游戏,然后交给一群 AI 代理围绕美术、设定和笑话来回讨论,做出了 Dread & District:你经营奇幻王国的交通局,连接村庄、运送旅客,尽量阻止每一场冒险。游戏在 dread-and-district.netlify.app,浏览器里能玩。

  8. 08

    开源代理帮你退订

    n8n Labs 以研究预览发布 Nod:独立于 n8n 的开源(Apache 2.0)私人代理,装在 Mac、Windows 或自己的服务器上,在本地虚拟机里用自己的浏览器替你在网站和应用里办事。模型用你自己的 API key、ChatGPT 方案或本地开源模型;发送、付款、删除前有一道单独的检查确认是你要的,单个任务花费超过 5 美元会先问你。

  9. 09

    苹果 Harbor 曝光

    爆料人 Aaron Perris 发现苹果在做一款叫 Harbor 的 Mac App:把 Mac 变成私人 AI 推理服务器,在 Apple 芯片上本地跑开源权重模型,在 App 里浏览下载模型、不用命令行;用雷雳 5 连起两台以上的 Mac,把统一内存合成一个推理资源,跑单机装不下的模型。目前以 Claris 品牌私下预览,苹果没有正式宣布。

  10. 10

    X 光镜子看头骨

    Reddit 用户 u/Sourcecode12 用 Claude Fable 5.2 在一个对话里做了网页版「X 光镜子」:摄像头对着脸,头骨、大脑、面部肌肉跟着头动,张嘴下巴张开,举手能看到手骨,还有半边真脸和跟着指尖的 X 光放大镜。第一个能用的版本不到一小时;解剖模型来自公开数据集 BodyParts3D,作者说它不是医疗工具,也不是你本人的扫描。