加载中...
文章
195
标签
31
目录
71
首页
目录
标签
时间轴
友链
关于
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
!
下一篇
国科大-随机过程-写在后面
MrMatrix
To be a better man.
文章
195
标签
31
目录
71
知乎
公告
这个博客是为了记录自己在科研👨🔬、工作👨💻和生活👨👩👧👦的过程中捕获到的有价值的课程📺、书籍📗与事件📰,是面向我自己搭建的查漏补缺的备忘录📝和记事本📓✏️。
目录
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. 未来展望
最新文章
观陶哲轩演讲-AI与数学-后有感
2024-08-30
国科大-随机过程-写在后面
2024-01-29
国科大-随机过程-连续时间马尔可夫链
2024-01-28
国科大-随机过程-马尔可夫链的转移概率与极限行为
2024-01-21
国科大-随机过程-马尔可夫链中的常反性及其相关概念
2024-01-16