跳到正文
6月16日周二
  1. IT之家·人工智能51

    微软称保守假设下典型AI查询耗水量少于1滴水

    微软6月15日博文引述《Joule》研究:典型AI查询耗电0.16–0.60瓦时(约40瓦电脑运行15–60秒),为先前文献的1/4–1/20;冷却用水0.0–0.067毫升,中位数约1/100茶匙,少于1滴。10亿次查询场景下基础耗电约0.7吉瓦时,经效率优化可降至约0.3吉瓦时;即使10%请求为长任务,能耗仍可下降过半。

  2. Qwen:Blog Retrieval72

    Qwen-RobotManip:对齐解锁机器人操作基础模型的规模化能力

    Qwen-RobotManip 是通义千问基于 Qwen-VL 的视觉-语言-动作(VLA)基础模型,引入覆盖表示、运动和行为三维度的统一对齐框架。仅使用开源机器人数据集和人演示视频,构建约 38,100 小时预训练语料,涵盖 15 种机器人形态。在 LIBERO-Plus 达 91.4%,RoboTwin-C2R Hard 达 69.4%,RoboCasa365 Composite-Unseen 达 14.9%,EBench 达 45.6%,RoboTwin-IF 达 72.0%,并在 RoboChallenge Table30 v1 generalist track 夺冠。模型采用 80 维状态-动作表示、人-机器人数据合成管道(1,933 小时第一人称视频转 24,808 小时数据)及上下文策略适配。

    推荐理由:Qwen 这次发布的机器人模型,用统一对齐框架把跨实体数据规模化训练跑通了,OOD 泛化大幅领先,做具身智能的值得认真看一下。

  3. IT之家·人工智能52

    AMD 收购 MEXT,为 AI 负载吃内存寻找降本新路径

    6月15日,AMD宣布收购内存优化技术公司MEXT,旨在缓解数据中心内存瓶颈。MEXT通过内存分层将不常访问的数据从DRAM迁移至NAND闪存,利用闪存低成本扩大可用内存池。其预测性内存引擎借助AI模型分析访问模式,提前将可能调用的数据迁回DRAM,维持主内存级体验。该技术可提高内存利用率、减少对高价DRAM的依赖,降低总体拥有成本。

  4. Rohan Paul58

    Pythagoras-Prover 团队发布最小定理证明器 4B 版本及首个扩散模型概念验证版,均仅 4B 参数。在 MiniF2F 测试中,4B 模型以 86.1% Pass@32 超越 DeepSeek-Prover-V2-671B;32B 版本达 89.8% Pass@32 和 92.6% Pass@2024,创当前最佳成绩。核心在于数据效率:构造约 80 万 Lean 验证示例,按易到难训练,并采用 LoRA 微调避免全参数更新。模型上下文窗口为 8192 tokens。模型、数据及训练流水线将陆续开源。

    引用Joshua Ong @ ICML@joshuaongg21

    🚀🚀 Introducing Pythagoras-Prover 🚀🚀 🔹 The smallest theorem prover to date – Pythagoras-Prover-4B 🔹 The first proof-of-concept diffusion theorem proving model – Pythagoras-Prover-Diffusion 4B With efficient LoRA training and an 8192-token context length, Pythagoras-Prover achieves strong MiniF2F results with far smaller models. 🏆 MiniF2F - Pythagoras-Prover-4B achieves 86.1% Pass@32, outperforming DeepSeek-Prover-V2-671B. - Pythagoras-Prover-32B achieves 89.8% Pass@32 and 92.6% Pass@2024, achieving the best MiniF2F result reported to date. 🌏Website: https://pythagoras-lm.github.io/ 📝 arXiv: https://arxiv.org/pdf/2606.12594 🤖 Pythagoras-Prover-4B: https://huggingface.co/Pythagoras-LM/Pythagoras-Prover-4B 🔐 Our models, data, and the training pipeline will be released (gradually) soon. A huge thank to my amazing collaborators: @zhengzhao97 @CMihaelaStoian Qiyuan Xu, @haonanlp @WendaLi8 Shay Cohen @e_giunchiglia

  5. Rohan Paul54

    临床搜索工具 Heidi Evidence 表示,六周前其自研小模型在临床搜索任务中匹配了前沿规模模型 Sonnet 4.6 的质量。方法是通过临床医生的偏好反馈训练,而非单纯扩大模型规模。在匿名测试中,医生面对同一医学问题、两个匿名答案,选择 Heidi 小模型答案的概率为 49.9%。Heidi 指出,医学领域的关键难点在于知道何时搜索、引用什么、说多少,以及模糊答案何时比不回答更糟。

    引用Tom Kelly@TomkeyKong

    There’s been debate in the last couple days about whether general models beat specialized medical AI. It's the wrong question. This is an argument about how to measure. You don't need frontier scale to reach frontier quality. Six weeks ago we matched the best frontier model in Heidi Evidence with a model of our own, a fraction of the size. Here's how. 🧵

6月15日周一
  1. 公众号:MiniMax76

    MiniMax 开源 M3 模型权重及 MSA 技术论文

    MiniMax 上周五开源了 428B 总参数、23B 激活参数的 M3 模型权重,同步发布 MSA(MiniMax Sparse Attention)技术论文,该架构显著降低长上下文计算成本。M3 是首个从预训练阶段就进行文本、图像等多模态交错混合训练的开源模型。发布两周后,M3 在 Artificial Analysis 综合智能指数、GDPval-AA 排行榜均获开源模型第一,Code Arena WebDev 跻身帕累托最优序列,Vals.AI 榜单居国产模型首位。输出速度已从约 30 TPS 提升至约 80 TPS,计划再提速 30–40%;Token Plan 后台新增调用量看板。

    同一件事,精选收录的是《MiniMax M3 获 vLLM 日零支持,1M 上下文窗口与 MSA 稀疏注意力》

  2. The Decoder:AI News70

    Pokémon Go 玩家扫描数据用于训练军事无人机导航 AI

    Pokémon Go 玩家自愿提交的数百万份 3D 扫描数据训练了 Niantic Spatial 的视觉定位基础模型。该模型与国防承包商 Vantor 的 Raptor 软件及卫星地形数据组合,形成共享坐标系统,在 GPS 信号被干扰、欺骗或阻断时仍能为无人机等设备导航。早期测试显示误差降低 70%,精度约 1.5 米,且对标准信号干扰免疫。Vantor 于 2026 年 2 月获得美国陆军 2.17 亿美元合同用于“One World Terrain”项目。Niantic Spatial 强调玩家数据仅用于训练基础模型,未直接移交 Vantor。

    推荐理由:玩家自愿扫描以为只是在玩游戏,但数据训练的 AI 模型最终与军事承包商合作。这暴露出 AI 基础数据用途的不可控性,做产品的人都应该重新审视用户授权边界。

  3. MarkTechPost73

    Flash-KMeans:IO感知的精确K-Means,在GPU上比FAISS快200倍以上

    UC Berkeley与UT Austin团队开源Flash-KMeans(Apache 2.0,`pip install flash-kmeans`),精确实现标准Lloyd's k-Means,通过重构GPU数据流而非改变数学或近似来提速。在NVIDIA H200上,端到端速度比最佳基线快17.9×,比cuML快33×,比FAISS快200×以上。其FlashAssign核避免物化完整N×K距离矩阵,将IO复杂度从O(NK)降至O(Nd+Kd),单核加速最高21.2×;Sort-Inverse Update核通过排序聚类ID减少原子争用,单核加速最高6.3×。支持out-of-core处理,在1B数据点、K=32768时单次迭代仅41.4s。适用于向量搜索索引、稀疏注意力路由、KV缓存压缩等在线场景。

    推荐理由:Flash-KMeans 把 k-means 从离线预处理拉进了在线循环,200 倍加速不是纸面数字,而是让向量索引重建、稀疏注意力路由这些场景突然可行了。做大规模聚类的可以立刻换掉 FAISS。

  4. MarkTechPost65

    FineWeb 流式加载、过滤、去重、分词与大规模网络语料库分析实践教程

    该教程演示如何在不下载完整多 TB 语料库的前提下,通过 HuggingFace 的 `load_dataset` 流式接口加载 FineWeb sample-10BT 子集的 3000 条文档,检查其 schema 及 `url`、`language`、`language_score`、`token_count` 等元数据字段,并复现 FineWeb 的质量过滤流程(Gopher / C4 / FineWeb 自定义规则)、采用 MinHash 进行近似重复检测、用 GPT-2 tokenizer 验证 token 计数,最后生成域名、语言分数、文档长度和 tokenizer 效率等统计图表。

6月14日周日
6月13日周六
  1. IT之家·人工智能60

    毕马威AI报告被指由AI生成:引文45条仅5条准确,多处案例不实

    毕马威去年10月发布的AI报告被指由AI生成,充斥幻觉。GPTZero检测发现,45条引文中仅5条准确对应真实来源,28条对真实标题改写或添加不存在内容,约一半主张存在虚假。例如,阿联酋航空的Sara被描述为可更改航班的AI聊天机器人,实为移动助手;瑞银被指全面整合智能体,瑞银回应“与事实不符”;瑞士联邦铁路SBB被称拥有AI智能体,SBB发言人表示“不准确”。毕马威已撤下报告并启动审查。

  2. 公众号:百度智能云56

    第一!百度智能云领跑中国零售信贷决策工具市场

    6月11日,IDC报告显示2025年中国零售信贷智能风控解决方案市场规模达74.23亿元,同比增长13.5%。百度智能云在决策工具及服务市场位居第一,收入翻倍,服务客户数同比增长近100%,覆盖超800家金融机构。其推出首个可商用自我演进超级智能体“伐谋”,涵盖挖掘、模型、策略三大模块;与中信百信银行合作“AlphaMo”项目实现特征挖掘效率提升320%,风险区分度提升10%。另推出反代理投诉、资质预测、涉农评分等产品,依托千帆大模型与胜算数据平台推动决策工具向自主决策演进。

  3. MarkTechPost52

    基于city2graph、OSMnx和PyTorch Geometric的空间图神经网络城市功能推断编码实现

    构建了一个端到端空间图学习流程,使用city2graph从OpenStreetMap收集城市POI和街道网络数据,并以合成回退保障可靠性。工程化空间特征后,构造多个邻近图族并比较各自对同一城市环境的表征能力。随后将异质图和同质图转换为PyTorch Geometric格式,训练GraphSAGE模型从空间结构预测POI类别。

6月12日周五
  1. IT之家·人工智能43

    国产GPU厂商沐曦股份筹划赴港上市,拟搭建“A+H”双资本平台

    沐曦股份董事会通过议案,拟发行H股并在香港联交所主板上市,初始发行规模不超过发行后总股本的5%,另设不超过15%的超额配售权。募集资金将用于新一代通用GPU研发、MXMACA软件生态建设、产业链投资等。该公司于2025年12月在科创板上市,2025年营收16.44亿元同比增121.26%,GPU累计销量超5.5万颗;2026年一季度营收5.62亿元同比增75.37%。新一代训推一体GPU曦云C600已量产销售。

  2. IT之家·人工智能53

    三星有望代工谷歌 TPU v10 的 2nm I/O Die 芯片

    消息称,谷歌正与三星晶圆代工部门洽谈生产其自研 TPU 芯片。目前谷歌第七代 Ironwood TPU 超 60% HBM 由三星提供。内部人士透露,谷歌推进代号“冰鱼”的 TPU v10,其计算引擎仍由台积电代工,而内存 I/O Die 可能交由三星 2nm 工艺生产。TPU 性能与英伟达 H100 相当,成本降低约 80%。双方尚未签署正式协议。

6月11日周四
  1. 公众号:千问APP72

    千问推出首个足球预测AI助手,竞猜赢奖并捐建球场

    千问上线首个足球预测AI助手,基于海量大数据(含历史比赛、球员数据、伤病、美加墨地貌及天气等)。以6月22日挪威对塞内加尔为例,预测“1:1平局”,理由为气候差异。活动:参与全部104场竞猜,预测超80场且准确率超千问可抽万元大奖(100个名额);预测超32场可抽千问AI眼镜G1(1000副),该眼镜支持赛后分析、拍屏识球员及赛事结果订阅。累积积分将向乡村学校捐建足球场,目标至少50所。

    推荐理由:千问把AI预测和世界杯热点捆绑,玩法不算新鲜,但捐球场的设计让这件事多了点人情味。如果你对预测模型感兴趣,可以看看它怎么处理天气和地貌数据,虽然实际准确率还得踢了才知道。

  2. IT之家·人工智能55

    SK集团会长崔泰源:海力士2034年晶圆产能有望达今天3倍

    SK集团会长崔泰源接受《日本经济新闻》专访称,若建设计划顺利,SK海力士晶圆产能到2034年将是当前三倍。SK集团计划于2028~2029年在日本建成AI工厂数据中心,正寻找GW级电力供应位置。崔泰源称日本半导体生态系统良好,是韩国外建晶圆厂的理想候选地之一,但当下非决策时机。SK与铠侠存在竞合关系,希望人员、研发和生态合作;对Rapidus随时准备合作。崔泰源认为AI技术仍处早期,当前投资多来自企业端,未来个人AI智能体将带动算力需求提升。

  3. IT之家·人工智能53

    Omdia:2026年Q1半导体营收环比增27%创纪录,存储器贡献最大

    Omdia报告,2026年第一季度半导体营收环比增长27%至3190亿美元,创2002年以来最大季度增幅。存储器是主要推手,环比增幅超80%;其中NAND营收近480亿美元,环比增长96%,平均售价大涨95%。DRAM和NAND合计占半导体总营收40%以上,远高于长期平均。非存储器类仅环比增长略超2%。受AI需求及供应受限推动,预计第二季度环比增速仍将超20%。

  4. IT之家·人工智能55

    被诉擅用YouTube歌曲训练Lyria音乐AI,谷歌拒不承认

    一群独立音乐人起诉谷歌,指控其未经许可用YouTube上传歌曲训练Lyria 3模型。谷歌提交驳回动议,辩称用户上传时已授予广泛许可,即便指控属实也不成立。谷歌拒绝评论是否用YouTube视频训练Lyria 3,但YouTube CEO 2024年4月称内容用于训练Gemini等模型,官方博文也确认用上传内容优化产品。谷歌还向CNBC证实使用YouTube内容训练Gemini和Veo,却始终未对Lyria明确表态,刻意保留辩解空间以应对诉讼。

  5. The Verge:AI55

    微软因数据保留要求限制员工使用 Anthropic 新模型 Claude Fable 5

    Anthropic 发布首个 Mythos 级 AI 模型 Claude Fable 5。微软随即因 Anthropic 新的数据保留要求,限制内部员工使用该模型。微软已迅速将 Claude Fable 5 提供给 GitHub Copilot 和 Foundry 客户,但内部员工使用的 GitHub Copilot 模型选择器中未包含该模型。微软内部仍可访问其他 Claude 模型,因其受零数据保留(ZDR)规则约束。

  6. The Verge:AI74

    Google将保存用户的Lens图片、Search Live录音和Translate音频用于AI训练

    Google更新搜索交互数据保存方式,新增“Search Services History”设置,用于保存用户搜索时使用的图片、文件、音频和视频,包括Google Lens搜索的图片、实时搜索工具Search Live的录音、语音搜索和Translate中的语音片段。这些数据将被用于“提供、改进和开发AI模型”。用户可关闭该设置并禁用“Save Media”选项以避免保存。

    推荐理由:Google这回悄悄把图片、录音存下来训练AI,默认开启,虽然可以关,但灰度操作值得每个用搜索的人看一眼。

6月10日周三
  1. 公众号:千问APP69

    千问上线国内首个全周期高考志愿填报Agent,免费服务全国考生

    千问今日上线国内首个全周期高考志愿填报Agent,基于千问高考志愿大模型和夸克8年高考数据,免费为全国考生提供服务。该Agent具备“志愿日历”“志愿报告”“志愿问答”三项核心能力:志愿日历根据选科、估分等信息量身定制分步骤规划;志愿报告今年升级,可捕捉细节需求、实时调整并具备自我检查机制;志愿问答融合位次法定位等专家经验。同时开展“暖芒公益”计划,针对老旧机型与弱网环境进行优化。

  2. IT之家·人工智能60

    Meta 将把第三方提供的用户数据用于内容个性化

    Meta 当地时间本月 9 日宣布,将利用外部企业与其分享的用户信息,在旗下社交平台上构建个性化内容,涵盖信息流、AI 回复和广告。例如用户在某电商平台购买帐篷后,可能会看到更多关于露营的 Reels 短视频。Meta 表示本次更新不会额外收集用户数据(数据来自第三方),用户仍可控制 Meta 利用外部数据个性化体验的方式。