陶哲轩用Lean重写教科书，写代码也能学数学

2025-06-03 21:48:31 机器之心Pro 天津 举报
0
分享至

点击按住拖动小窗

关闭
热门视频

婆婆把农村小家收拾超板正，每天擦好几次，东西必须朝一个方向摆

 重播
机器之心Pro的头像
incentive-icons
机器之心Pro
14.3万粉丝 专业的人工智能媒体
物理AI的「原生」时刻 02:23 物理AI的「原生」时刻
完全自主！毛巾往肩上一甩，机器人用整个身体干活 01:14 完全自主！毛巾往肩上一甩，机器人用整个身体干活
整个人类科技研究，被第一次铺成了一张可导航的「地图」 01:01 整个人类科技研究，被第一次铺成了一张可导航的「地图」
复制一只果蝇的大脑，装进虚拟身体后它竟活了 01:16 复制一只果蝇的大脑，装进虚拟身体后它竟活了
龙虾更新后记忆变强，如何养好AI龙虾？ 01:25 龙虾更新后记忆变强，如何养好AI龙虾？
李曼玲、李飞飞团队顶会新作 00:12 李曼玲、李飞飞团队顶会新作
浙大教授章国锋带队创业，打造无限时长实时3D世界模型-4 00:46 浙大教授章国锋带队创业，打造无限时长实时3D世界模型-4
浙大教授章国锋带队创业，打造无限时长实时3D世界模型-3 00:42 浙大教授章国锋带队创业，打造无限时长实时3D世界模型-3
浙大教授章国锋带队创业，打造无限时长实时3D世界模型-2 00:20 浙大教授章国锋带队创业，打造无限时长实时3D世界模型-2
网易新闻 iOS Android

猜你喜欢

今日推荐

热门视频

合作媒体 网易公开课 网易科技 网易教育 网易时尚 网易亲子
© 1997-2026 网易公司版权所有 About NetEase | 公司简介 | 联系方法 | 招聘信息 | 客户服务 | 隐私政策 | 不良信息举报 Complaint Center | 廉正举报 | 侵权投诉
无障碍浏览 进入关怀版