V
主页
京东 11.11 红包
【重构数学4/4】未来的重构:数学、代码与人工智能
发布人
打开封面
下载高清视频
观看高清视频
视频下载器
【我,机器人】人工智能意图消灭人类?
【纪录片】数学漫步之旅 02 无穷小微积分
论码农与数学家的相似性【数学地图】【重构数学2/4】
庞大数学体系的底层逻辑
【全英讲数学】既然你要求我折磨你,那我就不客气了
数学有多少分支
学校的本质:上学的真实作用
素数无穷多 :Lean定理证明演示【中英字幕】
【正经科普】为什么说数学思维就是搞抽象
黎曼几何讨论班Week8
Lean 4 中文入门 —— 第一讲:Type Theory
菲尔兹奖得主陶哲轩牛津大学演讲:坚信AI正在改变世界,AI与人协作从重复劳动中解放,获得前所未有创新效率和水平提升
数学之美-编程实现唯美幽灵曲面生成过程
什么是李群理论? || 矩阵变换、对称性、李括号运算.
数学系漫游指南
同样是矩阵,本质却不相同
【平行眼3D】复函数的四维图像
秦朗丢作业被大网红捡到的概率
【基础原理】数学通识筑基
从零到不可达基数
数学民科基本素养之Lean4介绍
四维空间小学生的数学课上,会学到什么样的四维几何体?【四维空间之旅 06:简单四维几何体】
【四维空间之旅03】为什么看过科普,还是想象不出四维空间?
一口气学完图论
《买糖问题》
微分流形讨论班堂堂连载!绝赞可爱美少女青雀出镜!
【有学的价值】偏微分方程
AI卷死奥数圈,19秒一题差1分惜获国际奥数银牌
自然常数e这个数,怎么就自然了?
实数集的大小是多少?
Terence Tao 陶哲轩 - 人工智能在科学和数学中的潜力
脑子快就是聪明吗?
【四维空间】可交互在线演示简介(一)
LEAN4入门教程,自然数游戏Tutorial World章节
火柴人VS数学解析(上)
【毕导】这个视频里说的都是真的,但你却永远无法证明
【漫士科普】如何最简单且本质地理解欧拉公式?
每天一个数学小知识——十字相乘法
这是一份用代码画出的数学的地图【系列预告】
【数学杂谈】普林斯顿著名博导对学生的五点建议