Anthropic 开源 FlashProve，用 zkSNARK 证明回复来自既定权重

本期素材来自 11 月 3 日约 06:00 至 11 月 4 日约 06:00（北京时间）之间 AI 相关账号的原创帖与一手来源。数字均照录原帖或官方文稿。

要闻

Anthropic 开源 FlashProve：用 zkSNARK「证明」回复来自既定模型权重

Anthropic Frontier Red Team 研究帖（标注 Nov 2；官号 X 约北京 11 月 4 日凌晨推送）介绍 FlashProve：提供方可对模型权重做承诺，再为每次回复生成零知识证明，让用户 / 审计方验证输出是否由承诺权重产生，且不泄露权重。以 Llama 4 Maverick（400B MoE、4-bit）计：单张 H100 生成证明约 110 tokens/秒；每 1,024-token 请求证明约 19 MB；CPU 验证约十几–二十秒。相对 vLLM 同模型推理，证明 GPU 耗时约 70–95×。同步开源代码、技术报告、Lean 顶层安全陈述与可执行 Lean verifier（Apache 2.0）。局限含：整数模型 + greedy decoding；上下文上限约 1,024 token；不隐藏架构；研究原型非生产保证（研究页，GitHub）。

OpenAI：ChatGPT / Codex 加速物理世界工程

OpenAI 发文称 ChatGPT 与 Codex 正用于机械、电气与端到端系统设计。Astra 侧一周做出可对 Codex 说话的硬件原型（外观、外壳、PCB、固件由模型起草，量产仍需人工迭代）。硬件团队自 2 月起 token 用量约 23 倍；BenchCAD 2.0 上内部新模型均分 0.875，对比 Astra 最高推理档 0.594。扩大与 Chip Ganassi Racing 合作，并新与 Mazda 探索气动与碰撞安全仿真（官网）。

OpenAI Pando：面向 agent 规模 monorepo 的自研 Git 后端

OpenAI 工程文介绍 Pando：兼容 Git 协议与客户端的自研 monorepo 后端，面向大量并行 push / fetch。官称 median push 延迟约降近 5× / ~80%；日均近 1 PB Git 数据。Greg Brockman（@gdb）称考虑对外开放（官网）。

OpenAI 下一轮安全 sprint（Cathedral）+ 提高 bug bounty

OpenAI 规划下一轮内部安全 sprint，并与 Cathedral Systems 合作用模型挑战自家防御；同步提高 Security Bug Bounty：核心产品 critical 最高约 $30,000**；exceptional + bonus 最高约 **$172,000（sprint，bounty）。

Claude：登录即可自动连接信任其为 issuer 的 MCP 插件

Anthropic ClaudeDevs：登录后可 auto-connect 信任 Claude 为 issuer 的 MCP 插件；Team / Enterprise 管理员可配置。同窗另有 Claude Code 十月回顾（原帖）。

ChatGPT Voice 接入 Finances（美国）

OpenAI ChatGPT 官号：美国用户可在 Voice 体验中接入 Finances——属语音扩到既有金融体验，非全新功能全球首发（官网，原帖）。

OpenRouter / OpenCode：Crouton Alpha 免费约一周

OpenRouter 与 OpenCode 推介 stealth 模型 Crouton Alpha，约一周免费（OpenRouter，OpenCode）。

Tibo：评 Pando，另发「Le GPT Fat」

OpenAI Codex / Work 负责人 Tibo（@thsottiaux）本窗引用 OpenAIDevs 的 Pando 帖，称「We know some Git-fu」——属工程侧评，非额度重置。另发仅两词的 「Le GPT Fat」，读作更大模型相关梗 / 预告，不是 Day N reset（Pando 评，Le GPT Fat）。

@_catwu 宣布已离开 Anthropic（Claude Code）

@_catwu 发帖称周五为 Anthropic 最后一天，回顾 Claude Code 从内部工具到产品的经历；去向未写清（原帖）。

另外

• Anthropic S-1/A 财务 11.03 已报，本日不重开头条。
• Gemini 4 Carbon 相关榜单此前已报，不重推。
• @btibor91 本窗无原创帖。
• Dots 是 OpenAI 产品；Duet 是 Anthropic 产品。

参考：FlashProve · 物理世界工程 · Pando · Bug bounty