Theoretical emission lines and metallicity calibrations of H II regions in ASTRID simulation
在宇宙的金属“基因图谱”面前，过去的强线校准有点像用旧地图导航——到了高红移就失灵。这篇论文用ASTRID宇宙学模拟把电离参数和气压从“被假设”变成“自涌现”，给JWST时代备好了一张新校准表。误差不到0.05 dex，值得一看。
大模型与智能体
共 785 篇
不保护隐私用户就跑光？法国团队首次给出数学证明
拍文档照片最怕什么？阴影、模糊、歪斜、摩尔纹——哪怕是最强多模态模型也会当场翻车。直接拿恢复工具全图修一遍？可能越修越糟糕。华南理工这篇论文给了个聪明的解法：让模型自己判断“现在能不能答”，不能答再精准修复，修坏了还能自动回滚。全程免训练，效果逼近人类专家。
帕多瓦+昆士兰最新证明：部分标记也能超越全标记
标签一缺，分类反而更准？这听起来像玄学，但最新理论证明：当缺失模式本身携带分类信息时，部分标记样本真能打赢完全标记样本，而且不需要全局信息优势。这篇论文把“方向对齐”讲透了，值得细读。
让AI当研究员？Anthropic证明比人类专家更靠谱
先来聊一个挺扎心的问题：AI 越来越强，但万一它学坏了怎么办？
GPT-4o当裁判，Qwen2.5答得更靠谱，背后其实是一张评分表
奖励信号怎么给，才能让大模型在开放域问答里真正学会“有理有据、条理清晰”？苹果这篇最新论文把笼统的偏好打分换成了多维评分细则，效果直接涨了6.5%。路子够巧，值得一读。
康奈尔大学提出Crimping：孤立奇点模空间首获可表示性
这是代数几何领域一篇罕见的"基建级"成果：康奈尔团队首次证明孤立非正规奇点的模空间可被代数空间表示，还顺手搭好了几何亏格0曲线的半稳定模空间。理论深度拉满，且把Ishii四十多年前的悬案彻底收尾，值得花十分钟读懂它妙在哪里。对，你没看错，这期龙哥不讲AI，来点硬核数学开开胃。
UCLA最新证明：37年图论悬案再破一类，224万棵树无一例外
1989年Lee猜想提出“所有奇数阶树都是边优美的”，37年来一直悬而未决。这篇来自UCLA的最新论文用零和划分+朗福德序列把“至多一个二度顶点”推进到“至多两个”，还拉上计算机把224万棵树全验证了一遍。硬核、漂亮、可复现，图论爱好者不容错过。
都说方向随机就稳了，数学家却造出全例外集合
当几何测度论的投影定理撞上算法随机性，结果居然是“随机也救不了”？这篇论文构造出一个维数1的刁钻集合，让所有超算术方向的投影都缩成0维，反直觉程度直接拉满。数学硬核玩家不可错过。
清华姚宏团队新突破：拓扑莫尔平带首现精确配对密度波
凝聚态理论又迎来硬核突破！清华姚宏团队联合牛津大学，首次在拓扑莫尔平带中构造出精确可解的配对密度波基态，还顺手证明了超流刚度的普适公式。想理解高温超导与量子几何如何交织？这篇值得细品。
京都大学最新研究：把两个德西特时空粘起来，伪熵计算两种方案“打架”
凝聚态理论又迎来硬核突破！清华姚宏团队联合牛津大学，首次在拓扑莫尔平带中构造出精确可解的配对密度波基态，还顺手证明了超流刚度的普适公式。想理解高温超导与量子几何如何交织？这篇值得细品。
机器翻译也玩推理？Qwen3-8B拆句查证，BLEU/COMET双涨
继大模型推理能力在数学、代码领域大杀四方之后，法国索邦大学与SYSTRAN团队把「思考」带进了机器翻译：让模型先从检索到的相似示例里精准切出可复用的平行片段，再动笔翻译。实验覆盖6种语言16个领域，BLEU、COMET与MetricX全面超越传统k-shot与草稿式推理，思路清奇且落地性强，值得每一位NLP从业者细读。
少花10倍算力！ASIL让开源小模型操作软件涨14个点
当Claude Code、Codex在代码世界里大杀四方时，GUI软件依然是智能体的"最后屏障"。上海交大与BIGAI提出ASIL，用结构化JSON观测+语义化代码动作替代截图点击，让GPT-5.4在380个任务上拿下81.6%的成功率，而同样的任务截图控制只有6.6%。一句话操作就能完成截图控制15次点击都完不成的活，这可能是智能体交互的一次范式革命。
