NASA 发布月球基地建设与核动力月球车发射新规划，SpaceX、蓝色起源等竞争百亿美元合同
NASA 公布月球基地项目新规划，涵盖商业机器人货运、核动力月球车 PROMISE、发射与轨道转移及月面基础设施建设。八家企业入围 CLPS 2 合同竞争，该合同为期 10 年、总额上限 100 亿美元；PROMISE 六轮月球车可探测地下约 1 米深处的水冰，计划 2028 年末发射，任务周期 18 个月，由蓝色起源以 Mark 1 着陆器送至月球南极。
#其他
IT之家·人工智能AI 评分4646
TechCrunch · AIAI 评分6666 Axiom Math 宣布用约 1600 万行 Lean 代码完成 Stacks Project 形式化验证
Axiom Math 周三宣布完成对 Stacks Project 的形式化验证，将这份约 7654 页的开源数学文献转成约 1600 万行经证明助手逐行校验的 Lean 代码。
Meta EngineeringAI 评分4545 Meta Andromeda：模型-系统协同设计驱动新一代广告召回
Meta 介绍了新一代 Meta Andromeda 个性化广告召回引擎，通过模型、系统与 GPU 硬件协同设计，吞吐量超过每秒 10 亿条广告，较 2024 年版本提升 100 倍。
HF 机构 · googleAI 评分5555 Google 在 Hugging Face 发布 gemma-4-12B-it 模型
Google 在 Hugging Face 上提供 gemma-4-12B-it 模型，页面标注 any-to-any 类型，累计下载量 1846252，获 1728 个点赞。
HF 机构 · googleAI 评分4141 Hugging Face 上的 google/gemma-4-E2B-it 模型页面
google/gemma-4-E2B-it 是 Hugging Face 上的 Google 模型页面，类型标注为 any-to-any。页面显示累计下载量 3203647 次、获 1114 个赞，未提供更多模型细节。