小不点搜索
登录
陶哲轩也在用的 人工智能数学证明验证工具 【入门介绍】： 证明斐波拉契数列通项公式
收藏
举报
www.bilibili.com
2024-1-26 15:35
[视频作者] depth_of_Maths
[视频时长] 42:3
[视频类型] 日常
初步介绍通过微软维护的数学白盒人工智能，试着证明一下斐波拉契数列的通项公式，形式化数学真的要崛起了，让普通人也看得懂深奥的数学定理。
回复
编辑
⇧顶
⇩沉
影音视频访问链接
以下链接为影音视频“陶哲轩也在用的 人工智能数学证明验证工具 【入门介绍】： 证明斐波拉契数列通项公式”在线访问地址，点击链接就可以访问查看啦
www.bilibili.com***798835
www.bilibili.com
阿里云盘
/
夸克网盘
搜索下载
阿里云盘/夸克网盘
陶哲轩现在做什么
合集
陶哲轩现在
合集
陶哲轩现在在哪
合集
陶哲轩如今怎样
合集
陶哲轩有多牛
合集
陶哲轩在哪工作
合集
陶哲轩
的
经历
合集
陶哲轩是不是机器人
合集
陶哲轩是谁
合集
陶哲轩iq
合集
说两句
X
![[图]](/static/site/bilibili.png)
![[图]陶哲轩也在用的 人工智能数学证明验证工具 【入门介绍】： 证明斐波拉契数列通项公式](https://i2.hdslb.com/bfs/archive/4ce4f1dbb1a846569789fb187e7ceea9b256e1c0.jpg)