全球最大超声原始通道数据集：斯坦福×英伟达等38家机构开源40TB
超声原始通道数据一直是块硬骨头：临床机器不给导，各家格式各说各话，一次采集动辄几个G。这篇把38家机构的约40TB数据拧成一个统一格式的开放语料，19,332次采集、覆盖从波束形成到血流成像再到智能诊断的十几类任务，算是给超声基础模型铺了块实打实的地基。
标签：人工智能
共 749 篇
信息工程大学&上海交大：量子密钥分发实测303公里，硬扛三类器件缺陷
测量设备无关量子密钥分发的卖点，是探测器可以完全不信任；可源端一不完美，安全性论证立刻又保守又难看。这篇论文把编码偏差、强度波动、非理想真空态三件事塞进同一套算子支配框架，实测把安全距离推到303公里，比此前只考虑编码偏差的实验远出83公里多。值得读的是它不给每种缺陷单独打补丁，而是用一套算子不等式统一兜住。
信息工程大学&上海交大：容忍器件不完美，量子密钥分发250公里不掉速
量子密钥分发最尴尬的一点：理论证明很漂亮，真机器却永远不完美。激光器偏一点、调制器抖一点，连"把器件参数测准"这件事本身都测不准，安全性就可能打折扣。信息工程大学与上海交大这篇工作，用算子支配方法把编码、强度和表征三类不完美塞进同一个框架，实测参数下250公里传输的密钥率几乎不掉，MDI-QKD还能撑到375公里以上。做量子通信和实用安全的同学值得一看。
庆北大学：光前动力学零模之谜，D→K形状因子两种提取殊途同归
同一个形状因子，换个流分量去提取，结果居然对不上，多出来的那截东西被含糊地叫成"零模"，很多人用完就绕过去了。这篇来自韩国庆北大学的工作，用可解协变BS模型当标尺，先把零模直接算出来，再把它塞回价夸克卷积做等价表示，最后在BT构造下用解析方法证明横流与减流提取在给定径向波函数类内给出同一个f₋。D→K只是演示，真正值钱的是这套"谁负责动能、谁负责束缚"的分工
哈佛大学证明：余切丛首次拿下辛密度性质，哈密顿微分同胚可全纯逼近
余切丛是辛几何里最基础的一类空间，可它到底有没有辛密度性质，一直悬着——判据和例子都缺。这篇论文一口气把它证了，还顺手把实哈密顿微分同胚的全纯逼近问题一起解决。纯数学，但结论很干脆。
Shiv Nadar大学最新证明：一个标记元素就能锁定有向纽结
一个纯数学结果，却解决了计算机最熟悉的问题：怎么用有限的信息，确认一个无穷对象。纽结的完整身份，居然能压缩进「有限商加一个标记元素」里，而且复合纽结、卫星纽结一并拿下。喜欢群论、三维拓扑或者「有限能否决定无穷」这类问题的读者，这篇值得慢慢啃。
汽车机器人最短时间路径：12条基元变15条，不打滑才最优
几十年了，类车机器人「最快怎么开」这个问题，一直建立在一个有点心虚的假设上——轮胎永远不打滑。这篇论文把自行车模型的轮胎接触力算进来，发现最优路径的清单上其实还缺三条基元，而且缺的正好是轮胎将滑未滑的那一瞬间。
图像恢复｜印度理工25万张石刻字符数据集：让阿育王铭文自动翻译成英文
让AI去读两千多年前刻在石头上的字，听起来像考古队的活儿，可印度理工学院甘地讷格尔分校真把它做成了流水线：图像增强、字符识别、转写、翻译一步不落，还顺手开源了25.38万张字符图和2224对双语语料。方法不花哨，但“没数据”这个老大难被正面解决了，值得一看。
带宽不够怎么传图？诺基亚贝尔实验室：压缩683倍，精度仍有96%
想象一个场景：无人巡检车在隧洞中运行，摄像头拍摄画面，信道抖动导致带宽骤降。视频链路降码率，画面模糊，而接收端的识别模型仍需回答轨道上是否有人。
莫斯科物理技术学院首次3D模拟虫洞双星：异号相吸才合并，没有啁啾
数值相对论这些年几乎都围着黑洞和中子星转，这次终于轮到虫洞了。这篇工作把两个虫洞放进同一个三维网格里让它们真的打起来，结果有点反直觉：虫洞双星不旋进，没有啁啾，只有一声爆响；而且只有标量荷异号的一对才肯合并。想看"引力波模板之外还有什么"的朋友，这篇值得花点时间。
费森科夫研究所：7台望远镜拼团，天文台也搞三级集成
现代天文观测已是重资产、强协作的工作。哈萨克斯坦费森科夫天体物理研究所提出的 AstroHub，旨在将天文观测从“单机游戏”转变为“组团观测”。
把费米子扔进涨落时空，对称性居然自己恢复了？
你面前有一团时空。它不是一块光滑得能当镜子的布料，而是一张被量子涨落揉皱、不断抖动、时不时还打个结的桌布。你要在上面放几个费米子，看它们怎么运动、怎么相互作用、怎么两两结合。
