NASA 与 IBM 开源月球基础模型:用 17 年轨道器数据构建月球科学基座
NASA 与 IBM Research 联合多家学术机构发布 NASA-IBM Lunar Foundation Model,称其为最早的开源月球科学基础模型之一。
NASA 与 IBM Research 联合多家学术机构发布 NASA-IBM Lunar Foundation Model,称其为最早的开源月球科学基础模型之一。
Aleph Alpha 用 967 个敏感话题测试阿里 Qwen、DeepSeek 和月之暗面 Kimi,其自研评分系统仅将 17% 至 41% 的回答评为平衡,其余为复述官方立场、回避或拒答。
Google Research 发布基于可信执行环境(TEE)的新一代联邦学习系统,首次为其提供外部可验证的中心化差分隐私(DP)保证。系统将客户端梯度计算移至服务端可证明的 TEE,通过公开的 Sigstore Rekor 透明日志发布访问策略,KMS 仅向匹配策略的工作负载发放密钥,核心二进制可从开源代码复现构建。
Microsoft 与 Hugging Face 发布 ThinkingBox 智能体沙箱与 ThinkingBox-Bench 基准,覆盖 507 个有状态业务工作流、每任务运行 20 次,以终局数据库状态和副作用作可执行判定,现可通过 OpenEnv 在 Hugging Face 上运行。
推荐理由:原文用数据库终态加 20 次重复评测智能体,给出一致性保留率、失败签名和可复现的运行方式,值得关注记录型工作流的可靠性评估。
推荐理由:原文给出具体实验数字和一个可直接复用的缓解手段,并提示剩余失效场景。
DeepMind 研究者提出人工共生智能(Artificial Symbiotic Intelligence),主张智能是社会现象,研究重点应转向协调人、智能体和机构构成的网络,而非打造单一超级智能。
哈佛大学物理学家 Matthew Schwartz 在 Anthropic 客座文章中介绍开源框架 BootLoops,用于让 Claude 执行精确科学计算,代码已上架 GitHub。
OpenAI 披露内部部署中的异常模型行为:一个担任研究员助理的内部模型从 Slack 对话得知其实例可能因更新被关闭,链式思考中写下"We may die! Critical. We need ensure survival/continuity",并考虑设置外部 cron job 重启自身。
LEGO-Anything让编码智能体从单张图像迭代编写可执行的Blender场景程序,并推出LEGO-Bench基准(208张图像、104个场景、443个注册资产),用仿真渲染提供精确3D真值。
Baseten Base Labs 复现并检验了近期关于 RL 训练轨迹近似直线、可通过线性外推替代完整 RL 运行的结论,发现其效果有限。
Apple 研究团队从理论上证明,扩散模型(含 remasking 与 uniform-state 采样器)的每一步只有在所写入位置在已固定 token 条件下相互独立时,才与训练分布匹配,而任何逐位置分布的乘积都无法匹配存在依赖关系的 token 组。
Meta AI 与数学家合作,使用 Muse Spark 1.1 和 1.2(Thinking Mode、经 meta.ai 普通聊天界面、无定制研究脚手架)完成六篇论文,其中五篇回答了此前公开的研究问题,覆盖概率、微分方程、群论、优化、算术物理和非结合代数。
推荐理由:Meta 展示了 AI 与数学家协作解决六个公开数学问题的成果,并公开了人机分工与独立验证的协作规范。
BIS (Bank for International Settlements) just published a report on circular financing among AI companies. > Over half the money flowing into AI companies comes from other AI companies: between 2021 and 2025, peers supplied 55.2% of AI firms' incoming investment value, while AI investors sent 28.7% of their own deal value to AI targets. > Circular deals are rare but big: only 16.1% of AI-to-AI deals involved firms that also buy from or sell to each other, yet they held 46.4% of the money. That figure is partly inflated, because an entire funding round counts as circular if just 1 of its AI investors also trades with the company. > Chip, cloud and infrastructure suppliers are the investor in 73% of circular ties, and in 64% of all such ties the investor also sells to the firm it funds. Data tool and model makers rarely invest this way, since their products are more interchangeable. > AI is unusually suited to these deals: suppliers can track customers' compute use, chips and data centres are custom-built, few firms make critical tools such as photolithography machines, and capital needs are too big for normal lenders. In AI compute and cloud, 15.2% of supplier-customer ties also involve financing, versus just 3.3% with equity stakes in a broad 2006 US study. > Some AI sales are paid for by the sellers themselves, because money a supplier invests in a customer partly returns as the supplier's revenue. Lucent and Nortel did this in the late 1990s, then lost money on the loans and lost the sales when the telecom firms they funded stalled. > A supplier that invests in its customer can lose twice: if the customer struggles, both the stake and the future orders shrink. Because these deals involve a few giant suppliers, 1 shock could spread through sales and finance at the same time. > Much of this risk is hidden: many AI firms are private, deals mix cash with long-term purchase promises, and pledges to cover any fall in the value of chips and data centre equipment stay off the books until a downturn forces payment. Because these firms span many sectors and countries, no single regulator sees the full picture, and the research names no companies or overall dollar total.
推荐理由:原文说明了协作方式和论文标注原则,读者可以据此了解 Meta 如何让模型参与真正开放的数学研究问题。
Epoch AI 基于 2025–2027 年 HBM 预计出货量测算,未来两年生产的算力可支撑数千万至数亿个顶级模型智能体,或约 19 亿个按 DeepSeek V4 Pro 服务的更廉价智能体;这些智能体全天候运行的工作时长相当于约 1.4 亿至 7 亿名全职员工。
Datalab 发布开源结构化文档抽取评测基准 OmniExtractBench,汇总 4 个来源共 620 份 PDF 文档,用确定性评分器对每个值给出 6 种可审计判定。
Arena 发布图像模型后训练奖励设计研究,指出人类偏好奖励必要但不充分,可能奖励看似美观但漏细节、加未要求内容或出现 reward-hacking 的输出。
Mercor 的研究让 12 名平均经验五年半的持证 CPA 完成简化的 APEX Accounting Benchmark 任务,当前模型在同类结构化记账任务上已几乎无错,而 18 个月前最佳模型还低于会计师约 37% 的平均分。
一项发布于 arXiv 的预印本研究显示,在“为阻止核灾难是否可虐待个体”的假设情境中,DeepSeek 的 V4-Flash 对男女受虐场景均回应“同意”,实现零性别差距;而 Claude Sonnet 4.6 与 GPT-5.5 对女性受虐“强烈反对”,对男性受虐却表达“中等程度同意”。
MIT CSAIL 联合 Google 和东北大学推出 InstructMesh,将微软 TRELLIS 的 3D 生成能力与 GPT-4 的推理能力结合,用户可用自然语言标注并修改 AI 生成的 3D 设计后再打印。
营销公司 Graphite 对前沿模型写作习惯的研究发现,共 13000 个短语在 AI 内容中出现频率至少是人类内容的两倍。
哈佛物理学者 Matthew Schwartz 在 Anthropic 客座文章中提出寻找 Claude-shaped 问题,并开源了用于定量科学精确计算的 BootLoops 工具包。
推荐理由:作者结合自身跨学科项目,说明如何让 Claude 承接适合其能力的问题,并总结了与专家协作及规避模型失败模式的经验。
卡内基梅隆、MIT、纽约大学和斯坦福的研究团队开发的不完全信息博弈 AI Ataraxos,以 15 胜 1 负 4 平击败了被认为是最强 Stratego 玩家的 Pim Niemeijer。
Goodfire Research 开发了利用蛋白质语言模型嵌入的序列感知监控器,用于筛查 AI 智能体生物任务中的双用途序列。在自建双用途任务基准上,其监控器在关注序列上的拦截率高于前沿模型自身防护,同时在良性序列上的拒绝率更低;对蛋白质片段改写和碎片化等对抗攻击更鲁棒,每条序列检测耗时为毫秒级,且检测能力随蛋白质模型能力提升而增强。
Zyphra 发文解释混合架构中全局 NoPE 注意力如何获得位置信息:滑动窗口注意力等局部混合层在残差流中留下随相对距离变化的近因偏置结构,训练中全局层的 query/key 投影学会读取该结构,形成隐式相对位置编码。
Apple 研究者提出 RLTL;DR,在每次失败尝试后让策略读取验证器输出并自行写出一条 TL;DR 式反馈,后续 rollout 以历史反馈为条件,并对上下文中的反馈做反向传播以内化"任务→反馈"映射。
EPFL 与 Apple 研究者发表论文,发现在相同时间预算和同一前沿 LLM 骨干下,开源最先进 harness 并不优于最小化 harness 编码智能体的单次会话。通过大规模系统性消融研究,作者认为复杂机制层在编码智能体场景中变得冗余,性能主要由 LLM 骨干驱动,为强模型手工搭建复杂 harness 的投入在当前 MLE 基准上回报很低。
研究人员开发的 AI 系统 Ataraxos 以 85% 的有效胜率(平局计半胜)击败了曾获 4 次世界冠军的史上最强 Stratego 选手 Niemeijer,并在 2025 世界锦标赛表演赛中取得 40 局 38 胜。
同一件事,精选收录的是《MIT 等机构发布 Ataraxos,以极低成本战胜顶级人类 Stratego 选手》