2025.09.12.08 过去4小时全球AI发生了什么?
Replit 推出 Agent 能力重大创新与全新设计-Amjad Masad
Replit 宣布对其平台进行全面优化,推出了Agent 能力的重大创新,并对用户界面进行了流线型重新设计。此次更新旨在提升开发者的编程体验,并增强AI Agent在Replit生态系统中的功能和交互效率,使其能更好地辅助代码编写和项目开发。
Emad Mostaque 宣布新公司致力于可验证的超级智能-Emad
ChrSzegedy 宣布成立一家新公司,专注于通过自动化形式化 (autoformalization) 来创建可验证的超级智能 (verified superintelligence)。此举标志着在追求高级AI能力的同时,高度重视AI的可靠性、安全性和可解释性,旨在确保未来超级智能系统的行为符合预期且能够被严格验证。
Hugging Face 将开放模型引入 @code 和 @Copilot,并支持 BYOK-Clement Delangue
Hugging Face 宣布将数百个先进的开放模型(如 Kimi K2, Qwen3 Next, gpt-oss, Aya, GLM 4.5, Deepseek 3.1, Hermes 4 等)通过其推理提供商直接集成到 @code 和 @Copilot 中。同时,@code 也推出了 BYOK (Bring Your Own Key) 功能,允许用户直接使用 Groq API 密钥或通过 Hugging Face 访问 Groq 模型。此项由 Cerebras Systems、FireworksAI、Cohere、Groq Inc. 等合作伙伴支持的举措,旨在提供开放权重模型、多提供商路由以优化性能、公平定价、无缝模型切换以及完全透明度,强调AI辅助工具的开放未来。
发布 3D 和 4D 世界建模研究综述-Clement Delangue
一项名为《3D 和 4D 世界建模:一项综述 (3D and 4D World Modeling: A Survey)》的新研究论文及其GitHub仓库已发布。该综述专注于3D和4D世界模型,它们对于使具身智能体(embodied agents)能够想象、预测和在复杂环境中互动至关重要。这对于推动AI在真实世界中的感知、模拟和交互能力具有重要意义。
关于开放源码 AI 与封闭源码 AI 未来发展的辩论-Clement Delangue
一条推文引发了关于AI未来发展模式的讨论:如果开放源码 (Open Source) 在AI领域占据主导地位,个人将能够在自己的笔记本电脑上训练AI;相反,如果封闭源码 (Closed Source) 获胜,用户可能需要政府许可才能访问AI。这突显了AI技术可及性和未来控制权之间的潜在冲突。
阿尔巴尼亚任命 AI 机器人 Diella 为部长-Emad
据路透社报道,阿尔巴尼亚已任命一个名为 “Diella” 的AI机器人担任部长职务,负责处理公共采购,即政府合同的授予。这一举动是全球范围内将AI应用于高级政府职能的最新案例,凸显了AI在提升行政效率和透明度方面的潜力。
对 Ted Cruz AI 法案的批评-Gary Marcus
著名AI研究员 Gary Marcus 转发了一则推文,批评参议员 Ted Cruz 的AI法案,认为其对大型科技公司有利。批评者指出,该法案可能允许特朗普政府通过“甜心交易”让公司规避严格的监管,从而损害公共利益和AI监管的公平性。