加载中...
文章
203
标签
33
目录
78
首页
目录
标签
时间轴
友链
关于
MM's Journal of Technology
首页
目录
标签
时间轴
友链
关于
观陶哲轩演讲-AI与数学-后有感
发表于
2024-08-30
|
随笔
其他
|
字数总计:
13
|
阅读时长:
1分钟
主观看法,不宜公开。需要密钥。
文章作者:
MrMatrix
文章链接:
http://mmwiki.cn/posts/6382afc7.html
版权声明:
本博客采用
CC BY-NC-SA 4.0
许可协议。转载请注明来自
MM's Journal of Technology
!
上一篇
The Stanford Bunny in 3D Wonderland
下一篇
大规模c++程序设计
MrMatrix
To be a better man.
文章
203
标签
33
目录
78
Github
公告
这个博客是为了记录自己在科研👨🔬、工作👨💻和生活👨👩👧👦的过程中捕获到的有价值的课程📺、书籍📗与事件📰,是面向我自己搭建的查漏补缺的备忘录📝和记事本📓✏️。
目录
1.
人工智能与数学:陶哲轩演讲总结
1.1.
1. AI在数学研究中的潜力与局限性
1.2.
2. 计算机在数学中的应用
1.3.
3. 计算机辅助证明的重要性
1.4.
4. Thomas Hailes的线性不等式问题
1.5.
5. Lean语言与形式化数学的进展
1.6.
6. 颜色气泡表示证明状态
1.7.
7. AI揭示数学结构与不变量的关系
1.8.
8. AI生成数学猜想的潜力
1.9.
9. 数学形式化的复杂性与重要性
1.10.
10. 未来展望
最新文章
A Deep Dive into Low-poly Reconstruction
2026-03-02
The Stanford Bunny in 3D Wonderland
2026-01-28
观陶哲轩演讲-AI与数学-后有感
2024-08-30
大规模c++程序设计
2024-05-02
国科大-随机过程-写在后面
2024-01-29