加载中...
avatar
文章
195
标签
31
目录
71

首页
目录
标签
时间轴
友链
关于
LogoMM'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!
cover of next post
下一篇
国科大-随机过程-写在后面
avatar
MrMatrix
To be a better man.
文章
195
标签
31
目录
71
知乎
公告
这个博客是为了记录自己在科研👨‍🔬、工作👨‍💻和生活👨‍👩‍👧‍👦的过程中捕获到的有价值的课程📺、书籍📗与事件📰,是面向我自己搭建的查漏补缺的备忘录📝和记事本📓✏️。
目录
  1. 1. 人工智能与数学:陶哲轩演讲总结
    1. 1.1. 1. AI在数学研究中的潜力与局限性
    2. 1.2. 2. 计算机在数学中的应用
    3. 1.3. 3. 计算机辅助证明的重要性
    4. 1.4. 4. Thomas Hailes的线性不等式问题
    5. 1.5. 5. Lean语言与形式化数学的进展
    6. 1.6. 6. 颜色气泡表示证明状态
    7. 1.7. 7. AI揭示数学结构与不变量的关系
    8. 1.8. 8. AI生成数学猜想的潜力
    9. 1.9. 9. 数学形式化的复杂性与重要性
    10. 1.10. 10. 未来展望
最新文章
观陶哲轩演讲-AI与数学-后有感2024-08-30
国科大-随机过程-写在后面2024-01-29
国科大-随机过程-连续时间马尔可夫链2024-01-28
国科大-随机过程-马尔可夫链的转移概率与极限行为2024-01-21
国科大-随机过程-马尔可夫链中的常反性及其相关概念2024-01-16
©2020 - 2025 By MrMatrix
浙ICP备2024121111号
浙公网安备33010802013618号