认知科学的升维:从“可证伪”到“可验证”的AI实验室革命
The Dimensional Ascent of Cognitive Science: From “Falsifiable” to “Verifiable” in the AI-Augmented Laboratory认知科学的升维:从“可证伪”到“可验证”的AI实验室革命Ba
JAX 可微分编程与可微有限元:反向传播求解器UltraLAB 工作站选型
摘要与适用读者可微分编程把自动微分、即时编译(JIT)与数值计算融为一体,使“对求解器本身求导”成为现实:从材料本构反演、拓扑优化到损伤参数识别,梯度可以穿过整个有限元求解流程。
CMU等团队:PAT3D把文生3D从能看推进到能模拟、能交互
论文已被 ICLR 2026 接收,第一作者为 CMU 博士生林谷颖,师从 CMU 的李旻辰教授。研究团队中还包括 CMU 的 Jun-Yan Zhu 教授、Michael Liu、高睿晗、陈瀚可、陈律豪、卢贝嘉、HKU 的 Taku Komura 教授、黄可蒙,以及 HKUST 的刘缘教授。
EDA,变天!
新思收购Ansys后:AI EDA正式发布! 快50000倍EDA 从 “单纯画芯片” 进入 “芯片 + 热 + 力学 + 多物理场” 一体化设计 。芯榜消息:近日,新思科技斥350亿收购Ansys后放大招,AI芯片设计新工具发布,彻底破解芯粒封装难题!
哲学家万字解析Sora本质,杨立昆点赞,AI视频离世界模拟器多远?
智东西3月8日报道,近日,深度学习三巨头之一、Meta首席科学家杨立昆点赞分享了一篇万字博文《视频生成器是世界模拟器吗?》。
《科学》(20200103出版)一周论文导读
翻译 | 李言Science, 03 January 2020, Vol 367, Issue 6473《科学》2020年1月3日,第367卷,6473期物理学PhysicsAbsence of evidence for chiral Majorana modes in quan