Henry Adams最新：GPT-5.6给出球面GH距离紧上界短证明
论文作者Henry Adams在开头写得很坦诚：这个证明是GPT-5.6 Sol Pro在ChatGPT里生成的，他对文字做了编辑， 但没有改动任何数学内容 。
标签：人工智能
共 749 篇
强化学习｜攻击也嫌贵？理性DY攻击者模型让协议安全首次可判定
这可能是今年最值得安全协议研究人员读的一篇理论文：把干了四十年的Dolev-Yao攻击者从“能力模型”升级成“激励模型”，让攻击者学会算账，收益小于成本就不攻击。论文证明理性安全可判定，还给出了可计算的阈值，并在支付协议和ThreeBallot投票两个用例中展示了如何“用钱说话”。建议所有做安全协议验证、密码学形式化、投票方案的朋友都读一下。
法国数学家最新证明：3的幂的二进制，想简单都难！
纯数学也能玩出花样！这篇法国斯特拉斯堡大学学者新作，把3的幂的二进制展开和组合词论绑在一起，证明“简单二进制表示”的3的幂只有有限多个。Schmidt子空间定理与Baker理论双武器联合，看懂证明思路就值回票价。
MuJoCo三族机器人参数全变，看清华如何让世界模型不发懵
换根连杆、改个质量，世界模型就“失忆”？清华这项研究把机器人形态参数和可复用动力学分开建模，让世界模型在没见过的新参数下也能零样本预测和规划。想搞机器人泛化的，这篇值得一读。
五种姿态估计器实测短跑：RTMPose-M平均6.99度成黑马
跑姿分析一直被认为是专业实验室的专利，动辄几十万的设备劝退了大多数人。这篇论文用五个成熟姿态估计模型+后处理，把髋膝关节角度估测误差压到5.3°，还配套了网页演示平台，属于典型的低成本高性价比工作，做运动科学和姿态估计的朋友值得一读。
哈佛MIT新工具：多智能体24%新边界指向反自我欺骗
多智能体语言模型模拟在社会行为研究中越来越流行。但绝大多数评估只问：智能体有没有坚持扮演分配的角色？却很少有人系统跟踪另一个问题： 智能体用来描述自己的身份设定，会不会被它自己在运行中改掉？
6.2×10¹²的尴尬：范霍夫奇点不是TaIrTe4绝缘态主谋？
拓扑绝缘体与强关联的碰撞总能出大新闻。这篇由日内瓦大学领衔的最新激光微区ARPES研究，把单层TaIrTe4的低能电子结构照了个通透，首次在实验上直接解析出范霍夫奇点，却意外发现它的位置跟输运实验中的异常密度对不上，还给“强关联驱动量子自旋霍尔绝缘体”的热门剧本泼了盆冷水。想看清这场拓扑与关联之争的最新证据，这篇值得细读。
没有百亿参数也能救场！小型神经网络把读出带宽压力压掉九成
粒子物理的未来，正被一场“数据洪水”堵在门口。这不是比喻，而是字面意义上的每条读出链路每秒几十个G比特的洪流。
间距上升0.003就能识破多模态？统计检验新范式把数据形态拿捏了
数据里到底藏着一个峰还是几个峰？这是统计学家吵了几十年的话题。这篇论文另辟蹊径，不看直方图，专盯排序后相邻数据点之间的“间距”信号，用六种统计检验把单峰、双峰、多峰安排得明明白白，有的场景下间距只涨0.003就能现出原形。
爱丁堡大学最新研究：本地状态单子并非有限，有限子单子如何铺路？
粒子物理的未来，正被一场“数据洪水”堵在门口。这不是比喻，而是字面意义上的每条读出链路每秒几十个G比特的洪流。
CVPR 2026斯坦福新作：一张图推演3D世界，碰撞也能预测
斯坦福在CVPR 2026交出的这份P3Sim答卷，把"世界模型"从玄学拉回了工程：概率图模型+自回归Transformer+几何条件化，三大件拼出一个能从单张图推演3D物理变化的模拟器。新视角合成在SEVA基准上RE10K达到21.54的PSNR，3D物体操作在3DEditBench上PSNR冲到23.12。7月底刚聊过同团队PhyWM，这篇更像是把"懂物
最新研究：零样本免训练图像篡改定位，AUC高达0.839
图像取证是典型“平时用不上、出事就救命”的技术。这篇论文不依赖训练数据、不查设备指纹库，仅凭单张可疑图像就能定位篡改区域，RTD数据集上AUC达0.839、IoU 0.725，多项指标领先同类方法。做内容安全、多媒体取证的朋友值得一读。
