#前沿研究
共 9147 篇相关文章
无接管挑战巴黎凯旋门环岛，Momenta R7世界模型迎战智驾最难考题
JAECOO与Momenta完成首个无接管凯旋门智驾挑战，搭载R7世界模型的JAECOO 7在巴黎最复杂环岛完成11.38公里智驾路线，展现欧洲本地化智驾能力。
如何形式化整个数学？一场正在发生的范式变革
如何形式化整个数学？一场正在发生的范式变革
探讨数学形式化的现状与未来：为何要形式化整个数学？AI 与证明助手如何加速这一进程？核心难题与深层影响全解析。
混合LLM架构解析：记忆、注意力与专家系统的融合
深入解析混合LLM架构：Mamba-2、Gated DeltaNet和KDA如何融合记忆、注意力与专家系统，以及为何活跃参数计数会低估实际计算成本。
Gemini 4 Argon 玩《星际争霸》：大模型实时策略游戏能力实测
Gemini 4 Argon 接入《星际争霸》的 Show HN 项目实测：通用大模型作为策略游戏智能体，在实时决策、长程规划与响应延迟上的表现与局限解析。
陀螺仪为何能做得这么小？MEMS技术揭秘
陀螺仪为什么能做得这么小？本文结合Hacker News技术讨论，解析MEMS陀螺仪如何用振动式结构和硅微加工工艺替代传统机械转子，实现毫米级尺寸，并分析其精度取舍与应用分层。
液金散热会毁掉你的PC吗？科学分析与两年实测
液金散热会毁掉PC吗？本文结合科学分析和两年长期实测，解析液态金属导热材料的腐蚀原理、实际风险与适用场景，帮你在硅脂和液金之间做出正确选择。
潜伏37年的OpenBSD内核漏洞被成功利用
OpenBSD 中被发现一个潜伏37年的内核漏洞 Big Fish，安全研究者成功实现了完整利用，引发对长期代码审计盲区的讨论。
Waymo自动驾驶出租车即将驶入多伦多
Waymo宣布即将进入加拿大多伦多，这是其首次将自动驾驶出租车业务拓展至美国以外市场。本文分析Waymo选择多伦多的原因、面临的冬季气候挑战以及对北美自动驾驶竞争格局的影响。
1.37亿美元AI生成广告涌入中期选举，监管真空引担忧
1.37亿美元AI生成广告涌入中期选举，揭示AI政治广告的规模效应、监管真空与责任归属难题。技术社区反应冷淡，选民信息判断成本急剧上升，监管框架亟待跟进。
如何让System 1大模型展现System 2能力？
探讨如何让System 1大语言模型展现System 2推理能力，分析思维链、推理时计算、自洽性采样等主流路径，并讨论能力能否被诱导这一核心分歧。
RFC 8950：用IPv6下一跳宣告IPv4路由的技术解析
RFC 8950 允许 BGP 使用 IPv6 下一跳宣告 IPv4 路由，解决双栈网络中地址族绑定的痛点。本文解析其技术原理、对 IPv6 单栈骨干的影响及部署挑战。
AI驱动灾害响应与流离失所监测：人道主义救援新范式
AI正在革新灾害响应与流离失所监测：机器学习分析卫星图像实现快速损害评估，追踪人口流动，预测贫困与气候变化影响。本文深度解析AI在人道主义救援中的核心应用、技术逻辑与伦理挑战。
视觉生成能否扩展多模态模型的知识边界？
最新研究提出KTP协议，系统探索统一多模态模型能否通过图像生成训练获取新知识。实验覆盖七类知识和三种模型，揭示视觉监督向语言迁移的直接但非均衡路径，并提出文本对齐与交错图文对齐两种改进策略。
换一个推理提示词，罕见类召回率就回来了？VLM微调失衡新发现
VLM在不平衡数据微调后罕见类召回率反而低于零样本？研究发现跨提示推理可恢复罕见类召回，其本质是减少对微调贡献的依赖、把模型拉回预训练组件。
CarryOn双环框架：让机器人真正懂你的个性化助手
CarryOn双环框架在冻结VLA策略上叠加规划环与执行环，实现机器人个性化任务分解与安全可靠执行，安全违规率从52.6%降至6.1%，恢复成功率从13%提升至80%。
Muon优化器何时最优？径向脆弱性与极小极大几何解析
Muon优化器的曲率解释在随机半径下失效？新研究提出RR-ICM模型，证明无原子径向分布下存在零容量刚性，并用极小极大框架重新刻画Muon极方向，揭示其径向脆弱性与半正定迹板几何。
模型无关变量选择新方法MAS：无需协变量分布假设的FDR控制
新研究提出MAS方法，通过agent-X重要性和样本分割策略，在无需协变量分布假设的前提下实现FDR控制的模型无关变量选择，与Model-X knockoffs形成互补。
LLM测试时集成：双样本量与加权集成理论新解
研究揭示LLM测试时加权集成中标注问题数Q与生成次数N的双样本量权衡，证明缓冲ERM达到Q^{-1/2}+N^{-β/2}超额风险，并发现三类学习机制与N^{-β}识别极限，为集成权重学习提供理论保证。
