Anthropic 使用 Claude 大规模自动化形式软件验证
Anthropic 和 Theorem 已经证明，法学硕士可以自主生成生产软件的形式化证明，成功验证 100 多个开源库的安全属性。读故事
来源已验证: anthropic.com已验证来源
每个故事都链接到最有力的可用证据：可用的原始来源，否则明确归因的报告。
简单的英语
发生了什么、为什么重要以及值得关注的内容——无需行话。
无填料
当信号很弱时，我们不会发布任何内容，而是填充提要。
更多故事
9 故事工业
BBC 报道印度工人拍摄训练物理人工智能的任务
据英国广播公司新闻报道，包括印度在内的全球数十万工人接受报酬，记录他们的双手和工作环境，以生成物理人工智能和机器人的培训数据。bbc.com安全
JFrog 推出 AI 安全工具，用于检测开发者机器上的影子 AI
JFrog 宣布推出新的 AI 安全功能，包括本地影子 AI 检测和自带 LLM 密钥扫描，旨在管理软件供应链中的 AI 代理和资产。jfrog.com产品展示
Anthropic 将默认启用 Claude 的自动模式，不再需要人工“允许”提示
Anthropic 宣布，从下周开始，Claude 将在自动模式下运行，不再弹出常见的“允许？”确认窗口，而是将执行决策权交给内部 AI 监督程序。eu.36kr.com产品展示
Orange 推出 AI 辅导应用 MentorIA，助力西班牙学校
电信巨头 Orange 正通过 MentorIA 进入教育科技领域。这是一款苏格拉底式 AI 应用，旨在引导学生进行推理，而非直接提供答案，目前正在马德里进行试点测试。cincodias.elpais.com企业
SUSE 推出集成 NVIDIA OpenShell 的主权 AI 平台
SUSE 为其 AI Factory 平台引入了新的基础设施工具和 ISV 认证计划，集成了 NVIDIA 的 OpenShell 架构，以支持私有化、主权 AI 的部署。itbrief.com.au政策
Altman 概述 AI 的三种终局并支持建立类似 IAEA 的监管机构
Sam Altman 向 OpenAI 员工简要介绍了先进 AI 的三种可能未来——国际监管机构、合并后的实验室联盟或单一主导公司，并强调了 OpenAI、Google 和 Anthropic 为启动名为 SAFA 的自律机构所做的共同努力。latintimes.com工业
中国 AI 模型股面临 1500 亿美元的持续市值缩水
专注于人工智能模型的中国公司市值总计缩水了 1500 亿美元，目前的趋势表明短期内不会复苏。moneycontrol.com企业
Amazon 将在德国投资 160 亿欧元，其中包括 48 亿欧元用于 AWS 云和 AI 扩展
Amazon 宣布了 2027 年在德国的 160 亿欧元投资计划，其中拨出 48 亿欧元用于扩大法兰克福的 AWS 云和 AI 基础设施，同时还将推出新的培训项目并在柏林建立第二个机器人 AI 实验室。edtechinnovationhub.com工业
SK Hyper 正在洽谈为 3500 亿美元的 AI 数据中心建设提供资金
SK Hyper Co. 正在与科技公司和投资者协商，为 2035 年前在韩国扩建 15 吉瓦的数据中心提供融资，单独初始阶段估计为 3500 亿美元。bloomberg.com