Loading...
avatar
Articles
205
Tags
34
Categories
78
Home
Categories
Tags
Archives
Links
About
LogoMM's Journal of Technology
Home
Categories
Tags
Archives
Links
About

观陶哲轩演讲-AI与数学-后有感

Created2024-08-30|随笔其他
|Word Count:13|Reading Time:1mins
Author: Tomato Tom
Link: http://mmwiki.cn/posts/6382afc7.html
Copyright Notice: All articles in this blog are licensed under CC BY-NC-SA 4.0 unless stating additionally.
cover of previous post
Previous
图生三维概览, 从神经渲染、表面重建到万物生成
cover of next post
Next
大规模c++程序设计
avatar
Tomato Tom
To be a better man.
Articles
205
Tags
34
Categories
78
Github
Announcement
这个博客是为了记录自己在科研👨‍🔬、工作👨‍💻和生活👨‍👩‍👧‍👦的过程中捕获到的有价值的课程📺、书籍📗与事件📰，是面向我自己搭建的查漏补缺的备忘录📝和记事本📓✏️。
Contents
  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. 未来展望
Recent Post
An Overview of Image-to-3D, From Neural Rendering and Surface Reconstruction to Universal Generation2026-03-31
A Deep Dive into Low-poly Reconstruction2026-03-02
The Stanford Bunny in 3D Wonderland2026-01-28
图生三维概览, 从神经渲染、表面重建到万物生成2025-05-28
观陶哲轩演讲-AI与数学-后有感2024-08-30
©2020 - 2026 By Tomato Tom
浙ICP备2024121111号
浙公网安备33010802013618号