热穹天气十分危险，独立日活动雪上加霜
美国东部热浪中，户外活动、白日饮酒及世界杯加剧中暑风险。
AI新闻 | 今日无事
又是平静的一天。
@emollick: *Cracks knuckles* https://t.co/EP9lTnbt5W
AIEWF每日快报：自动研究与AI和人类能动性之间的张力
软件工厂愿景遭反对，演讲者捍卫人类理解与控制权。
中文标题
@swyx: 仅当确信演讲者和内容都值得时，才邀请双倍时长主旨演讲。今日听众喜爱深入探讨沙箱与世界模型。
印度科技大亨自掏3000万美元打造微软Office的AI替代品
印度企业家第五次创业，投资3000万美元用AI挑战微软Office和谷歌应用。
中文标题：OpenAI提议向美国政府出让5%股份：让普通人也能共享“AI红利”
中文摘要：OpenAI正探讨将5%股份（估值约8520亿美元）交给美国政府，旨在让普通人共享AI发展红利。
@emollick: Fable，一个提示：“构建一个精妙的游戏，让我在完全不懂国际象棋的情况下感觉自己是个出色的棋手。它应该让我感觉自己像个特级大师。尽量发挥元认知，但越有象棋味越好。”
AI提示构建游戏，让零基础者体验成为象棋特级大师的感觉。
@emollick：我在发布前大量使用Fable后的一个严肃建议是，除非你小心，否则它会在长时间任务中形成自己内部怪异的节奏和对话。如果你不要求它以简单语言报告，这种问题会渗透到一切，包括菜单
Fable长期用会生怪异节奏，必须要求简单语言报告，否则问题蔓延。
@emollick: 读遍Fable工作流帖子，方知我们对长期代理的组织方式知之甚少，无人能下结论。
长期代理工作组织方式缺乏实践与测试，尚无定论。
支持航路空中交通管制的解空间路径规划
针对航路空中交通管制，提出可解释、高效的解空间路径规划算法，SSPPV配合区域冲突检测可达平均3.69毫秒。
通过多尺度层注意力增强甲骨文识别
多尺度层注意力(MSLA)通过建模多尺度和跨层特征交互，显著提升甲骨文识别准确性与鲁棒性。
建设性对齐：在人类-AI互动中引导偏好动态变化
AI对齐旨在引导人类偏好演化，而非静态满足，通过控制价值轨迹确保其连贯、自主、理性且抗操纵。
RareDxR1：超越人工标注的罕见病诊断自主医学推理
RareDxR1端到端推理模型，内化罕见病知识并自进化学习，直接从临床笔记诊断罕见病，达SOTA。
Seed2.0模型卡：面向现实复杂性的智能前沿
Seed2.0模型系列构建评估系统，攻克长尾知识与复杂指令跟随，具备领先推理、视觉与搜索能力，初步处理现实复杂任务。
基于扩散共生信息交互的医学图像增强与分割联合方法
提出DiSIINet，基于扩散模型联合增强与分割，通过共生信息交互相互促进，显著提升多模态医学图像性能。
主动学习中相变的机制驱动理论
将预算阶段重定义为泛化机制主导转变，提出数据驱动、过渡、模型驱动三阶段，指导策略对齐。
表征作为机制可解释性的瓶颈：显现单元协议
提出显现单元协议，将神经网络组件分析结构化，自动填充并支持查询，显著提升检索效果且满足因果标准。
协同感知-推理治理：通过可验证解剖证据锚定医学多模态大模型
提出无训练证据注入框架，利用ROI先验校准视觉与文本轨迹，提升医学MLLM准确性约6%，减少开放式幻觉约35%。
有限道德：界定道德计算的空间
提出有限道德框架，从广度和深度分析道德计算，资源限制下伦理理论为局部策略，定义道德遗憾与进步。
TallyTrain：通信高效的联邦蒸馏
仅传输argmax类索引，实现三个数量级通信减少，非IID下表现优于软标签蒸馏，匹配或超越多种基线。
MMM数据模型——可去中心化知识共同体中知识互操作性的规范说明
MMM数据模型结合规范约束与自由文本标签，实现跨学科知识互操作，无需语义收敛，具备可行性和可用性。
让失败变得安全：一个用于开放网络数据收集的约束性、可验证智能体框架
提出约束可验证智能体框架，通过类型化JSON配置和静态执行，实现零LLM开销的可复用、确定性数据收集。
迷失在长尾：应对城市视觉地点识别中的地理不均衡
针对城市视觉地点识别中数据长尾导致的地域不平衡，提出DAPR框架均衡梯度贡献，在多个基准上提升性能。
GRPO、Dr. GRPO与DAPO：同一数值的三种运算——组标准差恒等式
三种推理训练方法本质是调整组标准差：分歧决定更新大小，一致则无学习。
PixelEyes：解耦感知与推理实现精确视觉证据搜索
PixelEyes通过解耦感知与推理，引入掩码引导搜索和语义区域广度优先搜索，消除冗余定位轨迹，提升多轮视觉推理效率。
SNAP-FM: 面向物理约束生成建模的稀疏非线性加速投影
利用稀疏非线性优化加速物理约束生成采样投影步骤，在PDE基准上高效满足约束。
中文标题：具有双向信息不对称的上下文赌博机监督博弈
中文摘要：研究双向信息不对称下的人机监督博弈，给出团队最优与近视规则的差距，揭示可避免伤害区间与不可信沟通代价。
SemiScope: 在半监督安全分类中解耦分类器调优与联合优化
通过解耦实验，发现仅调优分类器即可恢复联合优化86%增益，推荐更简方案：自训练+贝叶斯调优+阈值调整。
构建认知AI素养：检测学生与AI协同编程中的认知目标与过程
认知AI素养框架揭示学生-AI协同编程中78.8%互动缺乏认知目标，仅11.1%有高认知参与。
快与慢分割：基于双路径处理的实时开放词汇视频实例分割
提出SegFS双流框架，将实例传播转为特征空间调节，轻量网络高效分割后续帧，延迟降低14倍且精度不减。
基于合成驱动的装配步骤识别视觉系统
用合成数据替代真实标注，1小时内完成装配监测模型训练，准确率92.4%。
分解、比较与决策：多模态大语言模型是隐式少样本学习器
提出DeCoDe技术，将少样本分类分解为成对图像比较，利用MLLM的logit评分，无需训练即达最优。
过滤式生成器混合模型用于全合成生存训练
FoGS通过过滤异构生成器样本合成生存数据，在隐私受限临床环境中匹配或超越真实数据训练效果。
EVOTS：面向时间序列预测的进化Transformer搜索
提出EVOTS框架，通过进化搜索发现任务自适应Transformer模型，在多元时间序列预测中取得竞争性结果。
FRAME：使用分数傅里叶专家混合学习适应域
提出分数傅里叶专家混合，专家阶数可学习并插值空间与傅里叶域，自然去相关，提升多任务性能且开销小。
从信号到结构：记忆架构如何驱动LLM智能体中的语言涌现
LLM智能体在信号游戏中，记忆架构比通道容量更关键，带笔记本可稳定协调达0.867，无状态智能体则随容量增大退化。
MG-SpaIR：面向无训练数据图像恢复的多级稀疏引导隐式表示
无训练数据恢复混合退化图像，多级稀疏隐式表示与粗到细残差优化，性能优于Deep Image Prior。
可验证奖励用于校准概率预测
提出无标签可验证奖励及梯度掩码，仅用该奖励训练7B模型达到市场校准水平。
热力学AI模型的规模化
提出可扩展反向传播算法训练深度网络用于伊辛机热力学推理，准确率达94.9%，揭示推理成本与准确率权衡。
运行时管理自主：基于齿轮的单/多智能体信息物理系统安全与治理
提出五档执行齿轮系统，实现单/多智能体CPS安全与治理，异常检测99.6%，延迟降低3.5倍。
TRIE：随机偏微分方程代理模型的评估框架
TRIE框架评估随机PDE代理模型，点训练网络失败，生成模型最佳，潜在生成模型可提速12倍。
Mnemosyne：用于验证和修复AI生成工作流的智能体事务处理
提出ATP事务模型，将AI生成动作视为不可信提议，经约束集验证后才提交，实现安全修复且开销低于6%。
可用于交互式游戏的可教练智能体
提出可教练智能体框架，结合UVFA，让智能体在复杂任务中展现风格，用户可实时控制行为。
StateFlow: 面向长时域时间序列预测的双状态循环建模
StateFlow双状态循环模型利用VARNN捕获主动态和残差记忆，分块解码器直接多步预测，两阶段优化，性能强且紧凑。
渐进式姿态引导的单目视频4D动物重建
提出渐进优化框架，利用3D高斯泼溅与姿态引导解耦变形，实现单视频高保真4D动物重建，泛化性强。
多假设测试时自适应以缓解欠指定问题
提出多假设粒子多样化框架，从多层次探索多个适应轨迹，缓解欠指定，提升TTA鲁棒性和稳定性。
Agri-SAGE：基于模拟的多智能体大语言模型用于情境感知农业咨询生成
Agri-SAGE整合检索增强多智能体LLM与APSIM生物物理模拟，闭环生成验证农艺咨询，三种推理方法均优于静态基线。
像冠军一样玩：潜在空间中的反事实反馈生成
提出反事实路径生成框架，为星际争霸II玩家提供多粒度改进反馈，平衡路径发现与可操作性。
理解客人偏好与优化双边市场：以Airbnb为例
通过经济建模和因果推断，分析客人预订行为与偏好差异，优化定价和个性化匹配，平衡供需。