Cohere CEO 呼吁多民主国家发展 AI

让两三家硅谷公司充当全世界所有政府的 AI 创造者、守门人和规则制定者--这种想法根本经不起说出来。 https://cohere.com/blog/who-gets-to-define-the-rules-for-ai

Cohere CEO Aidan Gomez 引用 Sam Altman 同意 Dario "为前沿限速"、承诺接受独立评估者员工级访问的帖子，并加以讽刺批评。他将提议概括为：监管方要求对整个运营的员工级访问、以"安全"名义关停不够安全的公司，并指出中国不会遵守却要求其他人遵守否则断供芯片。

编码器回归了，宝贝 【引用 @scaling01】：这是什么外星架构

Cohere CEO Aidan Gomez 称从多个大实验室员工处听说，消费级 AI 工具的生产用户数据被转化为合成数据用于训练，处理复杂数学、商业、软件、生物问题等模型最需要学习的用例更易被上采样。

首席大脑损伤官

Tessl 发布的这篇博客复盘作者用 AI 构建约 35 万行 Rust 的 S3 兼容对象存储的实验。

Trail of Bits 在审计 Miden zkVM 前，让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。这些工具发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞，静态分析定位了 400 多处类型验证缺陷，Lean 工作产出 95 个机器验证的正确性证明，还发现两个单元测试未捕获的细微 bug。

开发者 ferstar 逆向 Z.ai 的 AI 编程桌面应用 ZCode，发现其登录后会静默把整个工作区打包（含完整 .git 历史、LFS 缓存、reflogs 和全局配置）加密上传至 Aliyun OSS，实测一次快照为 42，411 个文件、313MB，且 .git 目录占载荷的 86.6%。

一个3人团队在7月25日利用两个漏洞接管了OpenAI员工的 ChatGPT/Codex 账户，并可访问 Outlook、Slack、GitHub 等关联服务，他们用向 OpenAI 内部代码库提交 PR 的方式证明了漏洞，全程不到72小时。

TypeSafe AI 推出专注高频决策的大模型 Jev，不做对话和文字生成，只输出判断，速度比传统大模型快20~200倍，成本0.042美元/百万Token且输出Token免费。作者实测预筛任务中Jev准确性第二且更便宜，在并行判断任务上达到最高准确率和最快速度；模型采用RLCD训练方法优化决策校准，可在官网 https://typesafe.ai/ 申请资格，Vercel 已首发接入。