DeepSeek新数学模型刷爆记录！7B小模型自主发现671B模型不会的新技能 2025年5月1日16时 作者 量子位 理证明，大幅刷新多项高难基准测试。 在普特南测试上， 新模型 DeepSeek-Prover-V2
王田苗：具身智能是中国科技产业的历史机遇，有望诞生世界性领先公司 2025年3月16日23时 作者 机器人大讲堂 。首堂课程 特邀北京航空航天大学教授、博士生导师，北航机器人研究所名誉所长王田苗教授作为主讲嘉宾，
