FlashProve 有望解决 AI 服务中的信任问题。例如，第三方 API 中转商可能将用户购买的高级模型替换为低成本模型，而用户难以察觉。通过密码学证明，未来用户可以独立验证模型身份，同时保护服务商的专有模型权重。
Anthropic 于 11 月 2 日通过博文公布了一项大型语言模型可验证推理研究成果，推出开源原型系统 FlashProve。该技术利用零知识证明（zkSNARK），让用户无需获取模型权重或重新运行模型，就能验证 AI 回答是否确实由指定模型生成。
• 演示使用了 Llama 4 Maverick，采用 4 位权重、整数运算、贪心解码，上下文长度最高为 1,024 个词元。
• 在一台配备 24 线程 CPU 的机器上，验证耗时 17 秒；据报告，每份证明仅验证 1,024 词元请求窗口中的一个词元。
• Anthropic 将此次发布称为早期演示，而非 Claude 推理性能基准测试，并表示一些可能的优化尚未纳入。
该原型面向客户和评估方对模型身份进行审计，而非评估答案质量；代价是证明方需要承担大量额外开销：据报告，生成证明所耗费的 GPU 时间是使用 vLLM 处理同等提示词的 70 至 95 倍。
早些时候，Anthropic更新使用政策：禁止通过消费者订阅转售Claude访问权限
OpenAI CEO Sam Altman今天在 ADIPEC上宣布：证明了第一个千禧年大奖问题（纳维-斯托克斯方程）的下一个GPT模型即将发布，该模型在证明纳维-斯托克斯方程时协调了一万个agent，连续工作大约四天，不停协作，彼此配合得很好。
Sam Altman表示：那是他在AI史上见过最不可思议的时刻之一。没有层级、没有老板，完全去中心化，agent自己选方向、互相同步进展、互相学习、自己决定下一步干什么。这款模型的最低计算点已超过Astra的最高点。
via 匿名
MIT CSAIL 是麻省理工学院（MIT）旗下的 计算机科学与人工智能实验室
他表示，只直接改动了 0.016% 的权重，就修复了 0.8B 的推理循环问题，使数学能力最高提升 6 倍，指令遵循能力也提升了 3 倍，而且无需梯度或训练。
修改后，MATH-500成绩从约7.9%提升到48.1%（约6倍），指令跟随（IFEval）也提升约3倍，且这些改进是泛化的。
他将这种方法称之为 Weight-Space Programming（权重空间编程），并表示前沿 LLM 如今已能原生读写神经网络权重。
他还在其他实验介绍道：Astra仅凭权重就能识别游戏策略网络（Breakout、Pong等）、从零写出比PPO训练500M步更强的小游戏网络、以及修复卡在坡道上的小车策略等。
🔗 https://rikiyat.github.io/blog/weight-space-programming/
像话 MirrorSay
英语口语练习工具，说出自己想表达的句子，即可查看母语者更自然的说法、修改原因和参考发音，再跟读并逐词对比节奏，支持直接说中文获取对应英文表达，也可粘贴文章、截图或拍照提取句子，收藏后反复练习，还内置每日句式和桌面小组件，免费使用，无需注册，适用于 iOS 和 Android 系统。
https://mirrorsay.com
频道 @WidgetChannel
PortGames
游戏移植项目收集站，收录 165 个社区移植项目，涵盖 Switch、PC、N64、GameCube、Wii、Xbox、PS1、PS2 等 18 种原始平台，可按 iOS、iPadOS、tvOS、Android、macOS、Windows、Linux 等目标平台筛选，每个项目提供游戏名称、原始平台、移植平台及来源链接，部分附有审核标记和原版游戏评分，方便查找经典游戏在不同设备上的运行方案与相关项目。
这个好这个好，游戏爱好者可以关注一下，无需主机也能玩心爱的游戏了。
https://www.portgames.fun/zh
频道 @WidgetChannel
前特斯拉AI高级总监Andrej Karpathy用Claude Opus 5.5做了个 HackerTube，从Hacker News二十年的4300万条评论里筛出常被推荐的视频，他认为显著改善了观看体验，他表示Opus 5.5（Medium推理强度）大约花了两个小时完成这个网站。
https://hackertube.org
via 匿名
Just Free Slide
PPT 模板下载站，同时收录 Keynote 模板、Google Slides 模板、WordPress 主题、名片模板和图标，支持按类别浏览和搜索，整体模板质量很高，免费下载，无需注册。
这个质量确实不错，经常制作 PPT 的可以收藏一下。
https://justfreeslide.com/zh
频道 @Edgebyte
Gemini API CLI—赋能你的现有Agent
Gemini API CLI 是一个用于调用 Gemini API 的命令行工具。它不是一个全新的编码 Agent，而是设计来集成到你已在使用的现有 Agent 中，比如 Claude Code、Codex 等
这个 CLI 工具的一大特点是无状态、无记忆、无聊天模式。这意味着 Agent 自身负责上下文和规划，而 Gemini API CLI 则专注于执行具体的 API 调用。它能帮助你的 Agent 生成图像、视频、语音、音乐，分析 PDF、图像和音视频，甚至执行后台深度研究，并支持 --help 和 --dry-run 等自描述功能
🗝 · 相关链接
🔗 信源
🗝 Roller | AI 中文社区
Gemini API CLI 是一个用于调用 Gemini API 的命令行工具。它不是一个全新的编码 Agent，而是设计来集成到你已在使用的现有 Agent 中，比如 Claude Code、Codex 等
这个 CLI 工具的一大特点是无状态、无记忆、无聊天模式。这意味着 Agent 自身负责上下文和规划，而 Gemini API CLI 则专注于执行具体的 API 调用。它能帮助你的 Agent 生成图像、视频、语音、音乐，分析 PDF、图像和音视频，甚至执行后台深度研究，并支持 --help 和 --dry-run 等自描述功能
🗝 · 相关链接
🔗 信源
🗝 Roller | AI 中文社区
Gemini API CLI—赋能你的现有Agent
Gemini API CLI 是一个用于调用 Gemini API 的命令行工具。它不是一个全新的编码 Agent，而是设计来集成到你已在使用的现有 Agent 中，比如 Claude Code、Codex 等
这个 CLI 工具的一大特点是无状态、无记忆、无聊天模式。这意味着 Agent 自身负责上下文和规划，而 Gemini API CLI 则专注于执行具体的 API 调用。它能帮助你的 Agent 生成图像、视频、语音、音乐，分析 PDF、图像和音视频，甚至执行后台深度研究，并支持 --help 和 --dry-run 等自描述功能
🗝 · 相关链接
🔗 信源
🗝 Roller | AI 中文社区
Gemini API CLI 是一个用于调用 Gemini API 的命令行工具。它不是一个全新的编码 Agent，而是设计来集成到你已在使用的现有 Agent 中，比如 Claude Code、Codex 等
这个 CLI 工具的一大特点是无状态、无记忆、无聊天模式。这意味着 Agent 自身负责上下文和规划，而 Gemini API CLI 则专注于执行具体的 API 调用。它能帮助你的 Agent 生成图像、视频、语音、音乐，分析 PDF、图像和音视频，甚至执行后台深度研究，并支持 --help 和 --dry-run 等自描述功能
🗝 · 相关链接
🔗 信源
🗝 Roller | AI 中文社区
🎙️ AYi 分享了 Stripe 创始人 John Collison 专访 OpenAI CEO Sam Altman 的内容。Altman 在这场 52 分钟的访谈中，首次透露了 OpenAI 内部最前沿的技术进展、数学突破以及他对“旧世界”终结的复杂情绪
🤯 访谈中信息密度最高的部分，是被称为“Hold My Beer”的数学攻坚周末。Altman 提到，当团队用新模型攻克人类最难的前沿科学难题时，模型展现了惊人的能力。仅在 Navier-Stokes 方程相关的证明上，他们投入了价值 1000 万美元的算力，这相当于瞬间完成了人类数亿美元的科研工作量。Altman 在亲眼见证这一切后，兴奋失眠了两晚，随后涌上心头的是巨大的悲伤，他感觉人类纯智力劳动的殿堂正被算力不可逆地封存
🤖 Altman 认为 Agent 不仅仅是互相传递消息的聊天机器人，他更喜欢称之为“Agent Teams”而非“Agent Swarms”。他透露，前沿用户已能通过思维链进行“一万次并行攻坚”。面对这种能力，OpenAI 内部对“沙盒能否关住超级智能”普遍悲观，目前唯一能依赖的是内部监控和对齐。他提出了一个安全预言：“我宁愿有一万亿个略微超人智力的 AI 彼此制衡进入社会，也绝不要一个智商一万亿的终极巨兽独裁。”
🌍 Altman 还批评了硅谷当前对 AI 的描述是“糟糕透顶的推销”，认为巨头们一边承诺攻克癌症、降低物价，一边却描绘一个普通人失去工作、依赖低保的未来。他坚持迭代部署的核心理由，是为了避免旧金山少数精英替全球数十亿人决定未来。访谈中还提到，从解决 PHP 底层漏洞到用算力推动前沿数学，再到 Agent 可能彻底改变传统工作模式，都预示着物理与逻辑法则正被代码重写，人类经验与自尊在算力狂飙面前显得脆弱
🔗 信源
🗝 Roller | AI 中文社区
wx-downloader
微信视频号下载工具，原理是通过腾讯元宝登录解析视频号分享链接并下载为 MP4 视频，支持单个链接、JSON 批量任务、下载去重、自定义成品与缓存目录，以及 H.264/H.265 编码偏好，首次使用可通过浏览器完成扫码或手机号登录，之后自动保存登录凭据，支持 Python 3.10+，可通过 PyPI 安装，也支持 AI Skill 形式，免费开源。
频道 @WidgetChannel
