盖尔陨坑沉默、三地活跃：火星地下辐射账本算清了
这篇论文最有意思的地方，不是又在火星上“找生命”，而是把“能不能养活生命”算成了一笔很硬核的能量账。它直接把辐射、氢保留、微生物维持功率串起来，还顺手给了 ExoMars 和天问三号一个可验证的检测思路。
标签：人工智能
共 701 篇
ASSCG来了：自动驾驶LLM该查、该存、还是该扔？
自动驾驶里最怕的不是“慢”，而是慢系统该出手时没出手、不该出手时瞎出手。ASSCG把这个老大难问题拆成“查、存、扔”三种动作，思路很朴素，效果却相当能打。
2026新文：NLO分裂函数换方案不止换壳
这篇论文不讲“PDF怎么画得更像样”，而是直接动手改PDF演化规则本身。Krk、PHYS、GEN 三套方案一上场，分裂函数在大x、小x两头都开始“换脾气”，还顺手给出一个挺顺耳的解释：很多方案差异，其实像是把演化尺度换成了 x 相关的有效标度。
ICML 2026新作Ribbon：一次训练，搞定不确定性还更准？
Ribbon 这篇挺有意思：它不跟传统贝叶斯正面硬刚，而是把“重采样的不确定性”用影响函数线性化，训练一次就能近似多次重训的效果。更妙的是，狄利克雷浓度参数还能拿来做校准，属于效率和鲁棒性都想要的那类方法。
几何感知MCTS来了：6题5破纪录
这篇论文把“无三点共线”这类老牌几何难题，硬生生改造成了一个能跑 MCTS 的搜索问题。更妙的是，它不是只会搜，还会用几何对称性和增量约束把搜索树修得更瘦，挺有工程味道。
树图1-容量精确公式来了：线性时间就能算
这篇论文不搞虚的，直接把“图上能同时放多少个会移动的人，而且还不撞车”这件事，算出了树图上的精确答案。更妙的是，还顺手给了线性时间算法，数学味儿很浓，工程味儿也不淡。
量子世界也会对齐节拍？两大框架讲透同步封锁
量子系统也想“对齐节拍”，但微观世界偏偏爱搞事情。本文把量子同步的两套主流思路、实验进展和那些反直觉现象一口气讲清，适合想快速摸清这个方向的人。
FHPLF来了：联邦哈希推荐把通信成本压到1/16
联邦推荐最怕两件事：通信太贵，隐私太脆。这篇论文直接把哈希学习、投影汉明距离和二值“类梯度”打包上阵，思路很硬核，实验也挺能打，值得细看。
ICRA 2026新作FEARL：机器人安全也能可验证，碰撞率降到0
这篇论文最有意思的地方，是把“基础模型很强但不好验”这个老大难，拆成了一个能落地的工程问题。大模型负责看图、听话、想任务，小安全模块负责把关，形式化验证只盯住后者，思路很干净。
Nautilus盯住耀发：10秒级光谱破解宜居性难题
这份白皮书不搞花里胡哨的算法炫技，而是直指一个很现实的问题：恒星耀发到底会把系外行星“烤”成什么样。Nautilus若真按设想落地，10秒级、宽波段、时变光谱这套组合拳，确实有机会把“拍脑袋黑体”升级成“有证据的耀发模板库”。
KAIST新方法：点跟踪监督4D视频生成，几何一致性更稳
这篇论文最有意思的地方，不是又堆了一个更大的生成模型，而是盯上了扩散模型里“偷偷干活”的注意力层。它把多视角点跟踪塞进训练里，专门修理几何和运动一致性，思路很聪明。
CHI 2026新研究：草图+标签，竟不如打字省心？
这篇论文表面看是在研究“草图、文字、标签”哪种提示方式更好，实际上是在追问：AI把设计流程变得太顺滑，会不会顺手把设计思考也磨平了？SketchifAI给出的答案不算简单，值得细看。
