Wilf猜想未解之谜：新证明给出型上界，Kaplan旧分类被翻案
Wilf猜想悬了46年，是数论与半群理论交界处最倔强的钉子户之一。这篇论文没把它彻底拔掉，却用两个"缺陷"把Wilf数拆成精确恒等式，还把猜想归约成一个不含导子c和n的漂亮不等式——顺手纠正了Kaplan分类中漏掉的一大族反例。想感受纯数学里"拆解+归约"的功力，这篇值得细读。
标签：AI科研
共 485 篇
钇同位素60处突变！奇质子极化效应首次被“称量”
自动驾驶这事儿，有个特别拧巴的现象：你看那些端到端大模型，在 benchmark（标准测试基准）上跑分一个比一个高，可一放到真实世界里，偶尔会像个刚拿驾照的新手一样，干出些让人血压飙升的事儿——比如老老实实闯个红灯，或者跟前车亲个嘴儿。😒 这就很离谱了。龙哥经常说，平均分高不代表安全，真正的安全是那些极端情况下的表现。今天要聊的这篇论文，就是给这些"高分低能
eROSITA新发现！麦哲伦桥首例脉动共生X射线源：周期524天
宇宙里有一颗X射线源，它调皮得像个不按剧本走的演员：巡天扫了四轮，它只在中间两轮“登场亮相”，其余时间仿佛从不存在。这种“神出鬼没”的行为，反而让天文学家两眼放光——因为它极可能是一个从没在麦哲伦桥里见过的“新物种”。
324 meV强耦合不靠高Q腔？意大利团队用"分子抱团"逆袭
先问大家一个问题：如果你辛辛苦苦搭建了一个光学微腔，结果发现里面的发光分子"抱团"了——吸收光谱变得又宽又丑，发光效率还掉到只有1%左右，你会怎么想？
北大最新STM成像：电子“隔空”六层排成拓扑轨道，1°转角定生死
分数量子反常霍尔效应的微观起源一直是菱方石墨烯领域最大的“悬案”之一。北大团队用STM直接把“跨莫尔轨道”拍了出来——电子隔了六层还能被莫尔界面遥控。这个发现不仅终结争论，还为设计新型拓扑量子平台指了条明路。
Ai2最新研究：AI仿真气候400年，速度飙升40倍还精准还原厄尔尼诺
大模型跑天气已不稀奇，但这次Ai2把「大气+海洋」整个地球系统搬进AI，单张GPU比超算快40倍，还稳稳复现了400年的厄尔尼诺变率。AI for Science的又一里程碑，值得所有关注气候与AI交叉的读者花五分钟看看。
最新天文观测：螺旋星云外围现22个弓形激波，恒星遗骸融入星际介质仅需约1万年
恒星死亡后留下的残骸如何融入星际介质，一直是天文观测的盲区。这篇论文用全新的MOTHRA望远镜阵列，在螺旋星云外围一口气拍到22个弓形激波，把碎片瓦解时标锁定在约1万年。一张图胜千言，新望远镜的第一份科学答卷就如此惊艳，值得一看。
告别试错！中科院等联手新框架：电场驱动液滴精准操控，周期运动误差仅3%
这篇工作把电场驱动液滴从“边看边调”的试错模式，推进到“算好再动”的理论预测模式。中科院、UCL、爱丁堡大学团队联手，用格子玻尔兹曼方法把三相流动与电液动力学完整耦合，还给出了阻力与电力的定量公式——实验误差仅3%，直接可编程。
BESIII首次直测η′形状因子：低动量区精度破3%
η′介子本身也很有故事。它属于赝标量介子家族（和π⁰、η介子是亲戚），但其内部结构比π⁰复杂得多——它的波函数里被认为含有显著的胶子成分（胶子球混合），这使得它的形状因子成为研究非微扰量子色动力学（QCD）行为、特别是η。
COINS最新评测：六大模型写程序规范，Gemini仅28.1%通过
大模型写代码已卷到天际，但让它们写“程序规范”（formal specification）靠谱吗？本论文提出COINS框架，用Rocq证明助手评估六大模型的规范生成能力，结果差距惊人：最强Gemini 3 Pro也仅28.05%通过率，DeepSeek-V3.1直接跌到1.22%。想看懂LLM在形式化验证边界的真实水平，这篇是必读。
帕克太阳探测器最新观测：近太阳激波前兆首现四波族自调节回路
粒子加速的“幕后黑手”终于被拍到了！帕克太阳探测器在0.24 AU处逮住一颗2800 km/s的极品激波，把它的前兆波场拆成四个波族——原来激波加速能自己“造波”又“用波”，闭环玩得飞起。等离子体天体物理的老经典，这回总算有了实锤。
NIST最新：激光微加工硅馈电喇叭阵列，首次落地350GHz CCAT
这篇论文展示了激光微加工在毫米波/亚毫米波天文仪器制造中的首次成功应用：硅基片馈电喇叭阵列不再依赖传统深反应离子刻蚀（DRIE），90/150GHz与350GHz阵列均实现了与DRIE相当的性能。更关键的是，激光微加工无需无尘室，且具备通过多激光并行和厚基片斜壁工艺大幅提升产能的潜力，为下一代CMB实验的大规模焦平面制造开辟了新路径。
