AI 新闻中心

AI 新闻中心 过去一年分析了 7942 篇文章，发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。

每日 每周 每月 每年
3.5 行业资讯 硬件 行业新闻 科技巨头 政策与监管

AI 数据中心遭遇反对浪潮，硅谷巨头砸下数十亿美元争取公众支持

美国各地对新建 AI 数据中心的反对声浪正在上升，并逐渐成为重要政治议题。OpenAI、Meta、微软和亚马逊通过举办公开说明会、承诺创造就业、提供职业培训、投资水资源项目以及向社区投入巨额资金，试图争取当地支持。OpenAI 承诺向萨凡纳附近社区投资 8000 万美元，并为当地学生提供最高 7100 万美元的编程学习资金。Meta 则宣布设立 10 亿美元基金，支持数据中心所在社区，并表示目标是

IT之家,AIbase
08-19
3.8 行业资讯 应用 AI模型 研究

MathForm通过知识检索和验证引导迭代提升数学自动形式化能力

MathForm是一套用于构建验证训练数据的框架，旨在将数学命题转换为Lean 4等机器可验证的形式语言。系统在生成前从Mathlib检索相关定义和已有形式化内容，并利用编译器诊断与语义一致性反馈对结果进行迭代修订。由此构建的FormalVerse数据集包含约36.7万个经过验证的示例。经过监督微调和强化学习训练后，MathForm-8B在六项基准测试中取得了88.06%的平均Pass@8语法检查

Hugging Face
08-19
3.3 行业资讯 应用 研究 开源

Agent Lightning v1.0 推进代理强化学习研究

Agent Lightning v1.0 是一个轻量级开源框架，用于“代理运行框架驱动的强化学习”。在这种架构中，部署时使用的代理框架会直接参与模型后训练。该框架支持任意代理框架，并处理重新分词、优势计算、损失归一化和后端调度等挑战。在指令遵循、搜索和编程代理评测中，仅使用 6,000 个训练样本和适度算力，就将 Qwen3.5-9B 在 SWE-bench Verified 上的成绩从 41.8

Hugging Face
08-19
4.4 行业资讯 应用 伦理与安全 研究

HarnessRisk：面向生命周期的智能体运行框架安全基准

HarnessRisk是一项评估AI智能体安全性的基准，覆盖运行框架配置、能力扩展、运行时操作、状态持久化、行动控制和事件恢复六个阶段。该基准包含128个沙盒案例，将合法用户目标与嵌入不受信任工作流工件中的对抗性指令配对。在三个运行框架、六个语言模型和14种配置上的测试显示，攻击成功率为12.6%至80.9%，实用性为75.0%至97.6%。在所有运行框架中，配置阶段最脆弱。研究还发现，模型即使能

Hugging Face
08-19
4.8 行业资讯 硬件 行业新闻 科技巨头

传闻：谷歌或寻求 AMD 参与 TPU v10 合作

据外泄的 SemiAnalysis 报告，市场传闻称谷歌正与 AMD 合作开发第十代 TPU。若消息属实，这可能成为 AMD 拿下的首个定制 AI ASIC 项目。报告认为，AMD 的先进封装能力、SoC 知识产权和 CPU IP，可能是吸引谷歌合作的因素。谷歌与客户据称正在开发一种单封装 SoC，在其中同时集成 TPU 和 CPU，以应对强化学习工作负载。目前双方尚未正式确认这项合作。谷歌在自研

IT之家
08-19
4.3 行业资讯 行业新闻 研究 开源

Modular宣布Mojo编程语言以Apache 2.0许可证全面开源

Modular已将编程语言Mojo、其编译器及核心工具链全面开源，采用带有LLVM例外条款的Apache 2.0许可证。Mojo旨在解决传统语言在现代硬件，尤其是GPU和AI加速器上的性能限制。随着Mojo 1.0源码稳定版完成，编译器源码现已上线官方GitHub仓库。开发者可以使用Bazel构建编译器并运行测试，也可以使用预构建的nightly二进制版本，以节省编译时间。Mojo标准库自2024

AIbase
08-19