科学研究、模型滥用、视觉注入、教育隐私、端侧健康与实时语音
CURATED IN CHINESETHE WEEK IN AI
只保留可能改变产品、基础设施或我们理解 AI 方式的消息。每条都附原始来源。
OpenAI
OpenAI 发布一份解析证明与 Lean 形式化，称其内部模型构造出从光滑初态在有限时间形成奇点的解，从而满足千禧年问题官方表述中的反例条件；官方称约一万个并行 Agent 参与，Lean 验证另耗时 17 小时。
机器可检查的形式化把“模型说它证明了”推进到逐项复核，但 Lean 验证的是编码后的命题与推导，不自动保证形式化准确对应原问题。结论、算力与流程数字来自 OpenAI，独立同行审查和 Clay Mathematics Institute 的正式认可尚未完成。
Anthropic
Anthropic 的 9 月威胁情报报告汇总过去八个月被其识别并中止的滥用案例，包括网络攻击、武器软件、影响行动与大规模模型蒸馏；公司称已封禁相关账户并把部分信息共享给合作方。
通用模型正在压低复杂攻击的知识与执行门槛，防御也必须从单次提示拦截扩展到行为关联、账户网络与持续调查。案例来自平台自身遥测，身份归因、行动实际效果与未被发现的样本都存在证据盲区。
Meta
Meta AI 等机构发布 Repeat-After-Me，研究黑盒攻击者如何根据视觉语言模型的输出迭代图像提示，从静态攻击转向自适应搜索，并评估多种模型与防御设置。
当 Agent 会看屏幕并操作网页，攻击也会形成反馈回路；一次性过滤测试无法代表持续交互中的风险。论文是研究评测，不等同于已观察到大规模真实攻击，结果也受模型版本、查询预算与任务集限制。
Microsoft / AFT / UFT
AFT、UFT 与 Microsoft 发布学校 AI 安全与隐私标准：学生和教职员工数据不得用于训练、出售或改作他用，学校保留数据控制权，关键决定须有人类监督；学区可把条款纳入 Microsoft 客户协议。
治理从倡议走向合同条款，意味着数据用途、透明说明和违约救济都要进入采购与产品实现。它不是联邦法律，当前适用范围围绕签约学校与 Microsoft 产品，其他供应商和地区是否跟进仍未知。
Apple
Apple 在 9 月新品发布中更新 iPhone、Apple Watch 与 AirPods，并把 Apple Intelligence 用于健康与健身解释、个性化建议及设备间体验；新硬件从 9 月中旬起陆续上市。
端侧传感器、个人历史与生成式界面开始合流，消费 AI 的竞争转向长期上下文和私密数据处理。功能可用性依赖地区、语言、设备与系统版本；发布会规格和体验描述来自厂商，真实准确性与电池影响仍需独立测试。
Meta
Meta 研究团队发布 Alignment-Free Text-Audiobox，探索不依赖严格文本—音频时间对齐的统一生成方法，用同一框架处理配音与全双工对话合成。
降低对精细对齐数据的依赖，有望扩展多语言与自然对话的训练规模，也让实时语音更接近连续交互。当前证据是论文和研究演示，不代表产品级延迟、授权数据覆盖或说话人安全机制已经成熟。
EDITOR'S VIEW
单条发布容易让人追着产品名走。把它们放在一起，变化的方向反而更清楚。
Navier–Stokes 研究、OpenResearch 的实验谱系与 HyperFrames 的确定性渲染都在强调同一件事：结果要连同来源、步骤和可复现状态一起保存。
自适应视觉提示注入和 Anthropic 的滥用案例说明，静态过滤不再足够。系统需要跨会话观察行为，在执行前后都留下能够关联的证据。
学校协议把训练用途与人工监督变成可执行条款，Apple 则把健康上下文推进个人设备。AI 能看见什么、保存什么，越来越直接决定产品是否可用。
GITHUB RADAR
不是按 Star 机械排序，而是从本周 Trending 中挑出八个能说明趋势、也值得实际打开看看的项目。
debpalash /
在本机完成声音克隆、视频配音、听写与长音频制作，统一接入多种 TTS 和 ASR 引擎。
入选理由9 月 3—8 日新增约 5,939 Star，AGPL-3.0 许可且 9 月 11 日仍在提交；是本周最明显的本地语音工具之一。项目处于活跃 Beta 与 Electron 重写期，模型许可各自独立，克隆声音还涉及授权、冒用与隐私风险。
heygen-com /
把 HTML、CSS、媒体与可寻址动画确定性渲染为 MP4，并为编码 Agent 提供创作技能。
入选理由9 月 5—10 日新增约 4,401 Star，Apache-2.0 许可且本周持续维护；“网页即时间轴”让视频产出可版本化、可复现。仓库体积较大且要求 Node 22 以上，媒体版权、字体与渲染环境仍需使用者自行固定。
affaan-m /
一套面向编码 Agent 的命令、规则、技能与工作流集合，用于把常见工程步骤装进可复用 harness。
入选理由9 月 5—10 日新增约 6,668 Star，MIT 许可且近期仍有合并；它代表 Agent 竞争正从提示词转向流程资产。庞大 Star 只说明注意力，安装前必须逐项审计脚本、权限与外部命令，避免把通用规则直接套到敏感仓库。
bilawalsidhu /
在浏览器的 3D 地球上汇集航班、船舶、卫星、地震与公共摄像头，并支持语音控制。
入选理由9 月 5—10 日新增约 4,690 Star，MIT 许可且 9 月 12 日仍有提交；公开信号叠加成可探索空间界面，很有交互启发。第三方数据与资产不随代码采用 MIT，部分图层是估算或模拟，API 密钥、配额与监控伦理需单独核对。
vastsa /
本地优先的桌面编码 Agent 工作区，集中管理项目、模型、权限、长任务、差异审查与插件。
入选理由本周进入日榜且 9 月 11 日仍在修复打包；LGPL-3.0 许可，适合观察桌面 Agent 如何把计划与目标做成审批门。它仍是 Early Preview，可执行本地命令并接触仓库与密钥，生产使用前要限制目录、工具权限和插件来源。
alphaXiv /
以 Git worktree 和实验树组织研究 Agent，让假设、代码、日志、结果与不可变快照保持关联。
入选理由MIT 许可，9 月 11 日发布 0.2.0 并修复配置截断；把并行探索保存成可追溯实验谱系，是本期最有技术洞见的项目。远端服务只绑定 loopback、没有应用级认证；多用户主机、自动实验成本与遥测设置都要主动管理。
armory3d /
面向 3D 模型的跨平台纹理绘制工具，提供 GPU 加速绘制、烘焙与材质工作流。
入选理由本期非 AI 项目，9 月 11 日仍连续修复网格与绘制交互；它提醒我们成熟创作工具的价值来自扎实循环，而非 AI 标签。仓库的构建与再分发条款需按其许可证和商业版本说明核对，预编译包与源码体验也可能不同。
p1neappleXpress /
用可插拔传输承载 TCP 隧道的网络栈研究工具，包含桌面、Android 与 iOS 客户端路径。
入选理由9 月 11 日仍有提交，是小而有趣的网络系统实验。项目 README 明确警告账号限制，并需要 VPS、SOCKS5 与防火墙改动；许可证信息不够清晰，且可能触及平台规则或当地法律，因此只适合隔离研究，不建议在主账号或生产网络使用。
ONE SENTENCE
当 AI 开始参与更长、更敏感的任务，
真正稀缺的将不是一次答案，而是可审查、可中止、可归责的过程。