搜索
清华团队开源以Qwen 3.8-27B为基础模型的VeriLoop E2，通过VGR外部证据门控实现可验证状态提交，并取得黎曼猜想临界线零点比例下界67.350003708785593%的严格有限维证书，但上游形式化桥接尚未完成。
“身边VC在打听姚顺宇创业。” 这位天才少年已为创投圈所熟知：清华物理系传奇、斯坦福物理学博士、顶尖AI研究员，并且才29岁。2025年9月，姚顺宇从Anthropic霸气离职，后加入Google D
国产初创公司德塔智能发布双足人形机器人基础模型Delta 0，其大小脑分层架构在铺床、洗碗等长程家务任务中正面叫板Figure Helix，德塔智能由清华与UCLA背景团队创立，半年内已完成近5亿元天使++轮融资。
清华大学联合无问芯穹与上海交通大学开源了面向具身模型的端侧推理引擎APXInf，通过全栈优化在Thor芯片上将π0.5推理速度提高约10.7倍，并引入可由Agent执行的工程化流程以适配模型的持续迭代。
北京大学、清华大学与阿里巴巴等机构联合提出SparkDiffusion视频生成加速系统，通过融合稀疏注意力、少步蒸馏与FP8量化，在单卡RTX 5090上实现最高720倍推理加速，可在18秒内生成5秒720P视频，并已完整开源权重与训练代码。
北京大学、清华大学与微软亚洲研究院在Nature Machine Intelligence发表研究，发现语言模型内部表征与人脑演绎推理脑区存在部分对齐，并可利用脑信号引导模型表征干预与参数微调，显著提升推理鲁棒性。
蚂蚁AI安全实验室与清华大学人机交互实验室联合开源9B模型Realtime-Venus，通过配套的Harness打通前后台，使AI助手在执行后台任务的同时能继续与用户对话，并在长视频问答等多项评测中取得领先成绩。
新加坡国立大学、清华大学、北京大学等七所高校联合开源世界动作模型 OpenWAM，由 OpenWAM-Infra 模块化基础设施、OpenWAM-Study 受控实验与 OpenWAM-α 大规模预训练基座模型组成，整合视频生成的世界动态先验与机器人动作学习，在多个仿真基准和真实机器人平台上验证了机器人预测环境变化并执行动作的能力。
DeepSeek联合清华大学发布论文公开Agent训练沙盒基础设施DSec，梁文锋署名，论文第6节揭示DeepSeek已部分实现RSI（递归自我改进）闭环，Agent可在沙盒中自主构建训练环境，标志着Agent沙盒成为下一代云基础设施的新战场。
浙江大学、清华大学与新加坡国立大学团队推出TurboT2VA，采用分布蒸馏与轨迹蒸馏联合方案将音视频生成速度提升54.67倍，在单张H20上将1024×1792分辨率121帧的生成耗时从318.74秒降至5.83秒。