数学自动形式化迎来重大突破：OpenBMB开源MathForm，8B模型凭实力逆袭大厂
在现代数学与人工智能的交叉领域中，如何让机器准确“读懂”并通过形式化验证数学定理，一直是攻克通用人工智能（AGI）的核心挑战之一。OpenBMB团队近日正式开源了全新的数学自动形式化开源框架、数据集与模型——MathForm。
作者：Thomas Tang
OpenAI 研究员 Luke Metz 转投 Meta 超级智能实验室，AI 人才争夺再升级
据 Axios 援引知情人士证实，知名 AI 研究员 Luke Metz 已离开 OpenAI，加入 Meta 的超级智能实验室（Superintelligence Labs），本周起向负责 AI 业务的 Alexandr Wang 汇报。…
达摩院肝癌 AI 模型 DAMO LiON：揪出 1 厘米"隐形"肿瘤，两月补漏 15 例
阿里巴巴达摩院联合盛京医院等机构推出肝癌诊断 AI 模型 DAMO LiON，可通过增强 CT 影像精准识别微小肝脏癌变病灶。在两个月真实世界前瞻试验中，该模型发现了 15 例原本被遗漏的恶性肿瘤，绝大多数为 1 厘米左右病灶，相关论文登上…
Twitch 遭千名主播集体起诉：亚马逊默认用直播内容"喂"AI，退出还不具追溯力
直播平台 Twitch 正面临一场集体诉讼，起因是其将主播的直播、剪辑、聊天记录和照片在未经同意、未付报酬的情况下，拿来训练母公司亚马逊的生成式 AI 模型。原告 Warren Pandiscia 是一位约千名粉丝的主播，上周已在加州北区法…
顶尖研究员Luke Metz离职OpenAI，正式加盟Meta超级智能实验室
在全球人工智能领域激烈的顶尖人才争夺战中，行业再次迎来重磅人事变动。据知情人士向 Axios 证实，知名 AI 研究员 Luke Metz 已经正式离开 OpenAI，跳槽加入 Meta 的超级智能实验室（Superintelligence…
SAP联合Team Liquid推出AI语音应用，助力职业电竞数据分析
SAP近日与职业电竞俱乐部Team Liquid联合开发一款AI语音智能应用，旨在将比赛和训练中的队内语音转化为结构化赛事数据，为职业战队分析比赛、优化战术并提升选手竞技表现提供支持。
LFM2.5 DSpark草稿模型发布，推理速度最高飙升3. 18 倍
日前，Liquid AI 与 Hugging Face 正式发布了 LFM2.5系列三款核心模型的 DSpark 草稿模型检查点，包括 LFM2.5-1.2B-Instruct、LFM2.5-2.6B 以及 LFM2.5-8B-A1B。通过…
Mistral推出Agentic Search，多步检索将复杂文档准确率提升至86%
企业在构建人工智能系统时，往往面临一个痛点：核心业务数据和专有知识由于涉及机密，通常被隔离在各种长篇密集文档、金融申报文件、法律合同以及政府记录之后。传统的一次性检索增强生成（RAG）由于只能检索固定文本块且缺乏推理迭代能力，面对这类结构复…
阿里开源 Qwen-UI-Agent 敏感操作先停下等待用户确认
阿里巴巴正式推出了以真实世界为中心的 GUI 智能体基座模型 Qwen-UI-Agent。该模型全面覆盖了移动端、电脑端、网页端以及深度搜索环境，旨在打破传统模拟测试的局限，让模型真正具备在复杂真实设备上无缝操作的能力。
商汤 SenseNova U1.5 Lite 开源 8B 多模态区域编辑
商汤科技正式宣布开源全新的轻量级、原生统一多模态大模型 SenseNova U1.5Lite。作为一款参数量为8B 的轻量化模型，它在多项核心视觉任务中展现出了超越同量级模型的实力，甚至在部分复杂排版与文字渲染上达到了媲美超大规模商业模型的…
DeepSeek V4Flash Vision-Exp 视觉体验版上线
8月21日消息，DeepSeek对其大模型工具链进行了高强度迭代，正式将DeepSeek Harness升级至0.1.1-rc.1版本。此次更新最大的亮点，是在原有的DeepSeek V4Flash及V4Pro模型基础之上，重磅新增了全新的…