摘要: 物理 2.0 形式化与 Physlib:AI、数学和物理的协同 Joseph Tooby-Smith · 巴斯大学 · 2026 年 10 月 21 日,萨塞克斯大学 原始 PDF:https://josephtoobysmith.com/Slides/Sussex2026/Sussex2026.p 阅读全文
posted @ 2026-10-20 19:39 ffl 阅读(27) 评论(0) 推荐(0)
摘要: 数学 2.0 陶哲轩(Terence Tao)· 2026 年 10 月 原始 PDF:https://teorth.github.io/tao-web/slides/math-2-0-caltech-2026.pdf 按原 PDF 页序翻译。方括号中的文字是对图示的说明;图示附有原 PDF 对应页 阅读全文
posted @ 2026-10-20 19:39 ffl 阅读(63) 评论(0) 推荐(0)