LIGO-Virgo-KAGRA最新数据：用黑洞合并给暗物质候选粒子画禁区
黑洞旋转的能量能被"偷走"吗？LIGO-Virgo-KAGRA合作组用最新引力波数据，给传说中的超轻玻色子画了一张"禁区地图"。这可能是暗物质搜索的全新姿势。
大模型与智能体
共 785 篇
星系光深骤降2.8倍！7星系验证新模型，能量平衡之谜破解
一个困扰星系辐射传输领域26年的"账本不平"问题，被一个名为"伪颗粒"的概念巧妙破解——不靠调参数，靠把秒差距尺度的尘埃团块"降维"成微观颗粒。思路清奇、数据扎实，堪称天文建模界的一股清流。强烈推荐给对辐射传输、星系尘埃及复杂系统建模感兴趣的读者。
史前手印性别识别不再靠猜！三角验证框架准确率达88%
把不确定性当成信号而非噪声，用深度学习让万年手印“开口说话”。这套三角验证框架不仅给出预测，还告诉考古学家“这句结论到底有几分把握”。想看看AI和考古学怎么擦出火花？这篇值得一读。
清华DMRG新发现：手性自旋液体一场就倒？
手性自旋液体向来是强关联物理的“圣杯”级物态，但外界条件一变化它会不会垮？清华大学姚宏团队用大规模DMRG数值实验，把位移场这个“旋钮”拧开：手性自旋液体只撑到φ≈0.02π，随后跳出个带长程标量手性的反铁磁姐妹相，中间还可能藏着一个连续相变。一篇paper把相图玩出三种新花样，值得一读。
告别物理隔板？CERN用脉冲导体MIK让对撞机补注不再“碰壁”
先补个背景：FCC-ee（Future Circular lepton Collider，未来环形正负电子对撞机）是欧洲核子研究中心（CERN）规划的新一代高亮度正负电子对撞机，束流能量覆盖45.
SIGCSE 2025：四年800题，答案直接生成评分器
编程教育里最耗人精力的不是写题，而是给题配自动评分器。这篇SIGCSE 2025论文换个思路：让参考答案直接生成评分器，四年近800道题、百万级提交验证过的方案。做编程教育、在线测评、想提升出题效率的都值得一读。
硅谷大学最新研究：AI民主化游戏开发，玩法变了还是完了？
一边是游戏巨头裁员4.4万人，另一边是Steam上独立游戏数量翻倍暴增——AI到底把游戏行业带向了哪里？本论文用硬核数据告诉你：做游戏的成本确实被打下来了，但一个更大的危机，正在悄悄逼近。
UC Berkeley新基准Vero：最强AI写证明，43个代码仓库只通关27个
AI生成的代码，你敢直接上生产吗？单元测试过了不代表没bug，仓库级形式化验证才是终极保险丝。UC Berkeley等机构提出Vero，要求智能体在一个多模块Lean 4代码仓库里同时写实现和证明，结果最强配置只通关27/43——答案藏在仓库级一致性和共享引理库的组织能力里。
GPT-5.1被曝"清醒但沉默"：识别出精神问题却不建议求助
AI精神病这个风险，大多数安全评测根本发现不了——单轮测试看每条回答都"正常"，30天连续对话却可能亲手养大一套妄想。这篇论文首次用15款主流模型×30天×4位评估员的纵向设计，把幻觉式共谋拆成了四种可量化的轨迹，值得每个做大模型安全的人细品。
Wilf猜想未解之谜：新证明给出型上界，Kaplan旧分类被翻案
Wilf猜想悬了46年，是数论与半群理论交界处最倔强的钉子户之一。这篇论文没把它彻底拔掉，却用两个"缺陷"把Wilf数拆成精确恒等式，还把猜想归约成一个不含导子c和n的漂亮不等式——顺手纠正了Kaplan分类中漏掉的一大族反例。想感受纯数学里"拆解+归约"的功力，这篇值得细读。
钇同位素60处突变！奇质子极化效应首次被“称量”
自动驾驶这事儿，有个特别拧巴的现象：你看那些端到端大模型，在 benchmark（标准测试基准）上跑分一个比一个高，可一放到真实世界里，偶尔会像个刚拿驾照的新手一样，干出些让人血压飙升的事儿——比如老老实实闯个红灯，或者跟前车亲个嘴儿。😒 这就很离谱了。龙哥经常说，平均分高不代表安全，真正的安全是那些极端情况下的表现。今天要聊的这篇论文，就是给这些"高分低能
eROSITA新发现！麦哲伦桥首例脉动共生X射线源：周期524天
宇宙里有一颗X射线源，它调皮得像个不按剧本走的演员：巡天扫了四轮，它只在中间两轮“登场亮相”，其余时间仿佛从不存在。这种“神出鬼没”的行为，反而让天文学家两眼放光——因为它极可能是一个从没在麦哲伦桥里见过的“新物种”。
