台大&哈佛最新STG：LLM写Verilog测试平台，比迭代法快720倍，还除掉了经典benchmark
LLM生成的Verilog代码质量再高，最后还得靠验证来把关。往小了说是洗数据，往大了说是测试时搜索的命门。今天这篇台大和哈佛的STG，直接把测试平台生成从“玄学”变成了确定性程序，不仅快得离谱，还顺手揪出了经典benchmark里藏了多年的bug。
最新文章
共 1672 篇
百年数学难题，被算到小数点后50位！Minkowski问号函数导数无限大的点集维数终极估算
这是一场纯数学的硬核盛宴！Minkowski问号函数，这个诞生于1904年的古怪函数，其“导数无穷大”的点集到底有多大？华威大学Pollicott教授用精巧的算子谱方法，将这个维数的精度推进到了小数点后50位，误差小于3.4×10⁻⁵²，堪称数论与动力系统交叉领域的魔术级演绎。
组合图像检索去噪新范式：全局结构与动态价值双校准，20%噪声下SOTA
组合图像检索（CIR）领域一直被“三元组噪声”困扰。山东大学这篇ICMR'26的RankVR，别出心裁地用“有效秩”来度量全局结构一致性，再配合课程学习思想动态感知样本价值，思路清奇，效果硬核，值得一读！
CVPR 2026夺冠！SynCLIP一招让AI读懂“同义词”，密集感知鲁棒性飙升
说“飞机”和“飞行器”时，CLIP模型的“眼睛”居然会看错地方？那自动驾驶可不敢用！CVPR 2026的这篇SynCLIP，狠狠揪出这个同义词“注意力分裂”的bug，用语义连贯预训练一招治愈，密集感知鲁棒性直接拉满！
告别死板导航，用肌电信号实时调整手术辅助约束，认知负荷大降
想让机器人学会“读心”？德国宇航中心(DLR)这篇论文教你用肌电图(EMG)信号，让手术机器人秒懂医生的收缩肌肉动作，实时调整辅助力度。做完实验一看，精度提升50%，医生脑力负担还大幅下降，科幻电影里的操作终于来了！
天文学家急了：恒星并合遗迹居然会像Mira星一样“打嗝”
一颗恒星在24年前“吞并”了同伴，如今它竟然像红超巨星一样开始“心跳”了！这篇2026年的研究，首次用光谱证据证实了恒星并合遗迹的脉动激波，这波操作属实没想到，对理解恒星演化意义重大。
UT Austin联手NYU新研究：GENIE，一个能告诉你“故事到底新奇在哪”的细粒度评价神器
还在为一个“创造力得分”争得面红耳赤？UT Austin和NYU的学者们告诉你，真正的评判应该像医生诊断，精准到每个“器官”。本方法把“新颖性”拆解成6个维度，让AI的“创造力”不再是一笔糊涂账。
手性钙钛矿破冰！靠调旋涂转速，首次实现暗态霍尔测量
手性钙钛矿的CISS效应研究了这么多年，面内输运一直被阻抗卡脖子，只能靠光照“作弊”测霍尔。科罗拉多矿院这次靠调旋涂速度，硬是把面内阻抗降了三个数量级，实现了暗态下的霍尔测量，这就是真正的破冰之作。
不用深度学习，850+事故验证：因果图做RCA到底多靠谱？
云网络故障诊断一直是运维的老大难。AWS这篇论文很实在，不讲虚的，直接在生产环境里用图因果推理找根因，规则方法不行？那就让数据自己说“谁才是罪魁祸首”。800多个事故的实战检验，效果还非常能打。
告别传统松弛法：新方法让巨星模拟更真实
别再把造出来的“僵尸恒星”塞进双星模拟了！以色列理工团队用两个极其简单的技巧，就让三维红超巨星模型自己“活”了起来——脉动、对流一个不少。这本《3D巨星构建手册》，是所有想认真做公共包层演化的同学必看的入门指南。
首个斯洛伐克语文本嵌入基准SkMTEB：词汇裁剪62%，45M小模型媲美商业API
大模型多语言能力虽强，但在斯洛伐克语这种仅有500万使用者的语言上，效果会打多大折扣？本文不仅给出了教科书式的基准测试，更告诉你：通过巧妙的“词汇裁剪+定向微调”，一个仅45M参数的开源小模型就能追平商业API，这对于所有小语种研究者来说都是一剂强心针。
普林斯顿生成式框架让0.2m/s行星信号无处遁形
让AI看星星，居然能比人眼强26倍！普林斯顿团队用生成式模型从噪声中“捞”出系外行星信号，地球2.0的搜寻又近了一大步。
