ChatGPT 5.6参与证明！矩阵符号让信息量暴涨d²倍
把±1符号换成±1矩阵，一条下界从1/ε²直接升到d/ε²——南洋理工这波把ℓ_p子空间嵌入的下界补齐到近最优，而且灵感来源写着ChatGPT 5.6。既有硬核数学，又有AI协作的瓜，值得一读。
最新文章
共 1655 篇
超越DARTS的NAS新范式：0.26M参数拿下99.63%准确率
世界模型这两年火得发烫。无论是视频生成、机器人控制还是游戏AI，都指望它能学会在脑子里模拟真实世界的变化规律。可大伙儿慢慢发现一个尴尬现状：让世界模型在开放世界里随便"脑补"未来，它玩得挺欢；
LIGO-Virgo-KAGRA最新数据：用黑洞合并给暗物质候选粒子画禁区
黑洞旋转的能量能被"偷走"吗？LIGO-Virgo-KAGRA合作组用最新引力波数据，给传说中的超轻玻色子画了一张"禁区地图"。这可能是暗物质搜索的全新姿势。
星系光深骤降2.8倍！7星系验证新模型，能量平衡之谜破解
一个困扰星系辐射传输领域26年的"账本不平"问题，被一个名为"伪颗粒"的概念巧妙破解——不靠调参数，靠把秒差距尺度的尘埃团块"降维"成微观颗粒。思路清奇、数据扎实，堪称天文建模界的一股清流。强烈推荐给对辐射传输、星系尘埃及复杂系统建模感兴趣的读者。
史前手印性别识别不再靠猜！三角验证框架准确率达88%
把不确定性当成信号而非噪声，用深度学习让万年手印“开口说话”。这套三角验证框架不仅给出预测，还告诉考古学家“这句结论到底有几分把握”。想看看AI和考古学怎么擦出火花？这篇值得一读。
清华DMRG新发现：手性自旋液体一场就倒？
手性自旋液体向来是强关联物理的“圣杯”级物态，但外界条件一变化它会不会垮？清华大学姚宏团队用大规模DMRG数值实验，把位移场这个“旋钮”拧开：手性自旋液体只撑到φ≈0.02π，随后跳出个带长程标量手性的反铁磁姐妹相，中间还可能藏着一个连续相变。一篇paper把相图玩出三种新花样，值得一读。
佛罗里达大学用GPT-4o指挥PET去噪：闭环多智能体，双指标超基线
PET（正电子发射断层成像）是肿瘤、神经和心脏疾病诊断中重要的分子影像手段，能无创显示体内代谢活动。但PET天生有痛点：光子符合计数有限，图像信噪比低。
告别物理隔板？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位评估员的纵向设计，把幻觉式共谋拆成了四种可量化的轨迹，值得每个做大模型安全的人细品。
