V
主页
京东 11.11 红包
Terence Tao 陶哲轩 - 人工智能与数学
发布人
https://www.youtube.com/live/3oFozIMzwO8 Machine Assisted Proofs 机器辅助证明 For centuries, mathematicians have relied on computers to perform calculations, to suggest conjectures, and as components of mathematical proofs. In the light of more modern tools such as interactive theorem provers, machine learning algorithms, and generative AI, we are beginning to see machines used in more creative and substantive ways in our work. In this talk we survey some historical and recent developments, and speculate on the future roles of machine assistance in mathematics. 几个世纪以来，数学家一直依赖计算机来进行计算、提出猜想，并将其作为数学证明的一部分。随着诸如交互式定理证明器、机器学习算法和生成式AI等现代工具的出现，机器正以更加创造性和实质性的方式参与数学研究。在这次演讲中，我们将回顾一些历史和近期的发展，并推测机器辅助在数学中的未来角色。 Invited Speaker 特邀演讲者 Terence Tao (University of California) 陶哲轩（加州大学） I am a Professor at the Department of Mathematics, UCLA. I work in a number of mathematical areas, but primarily in harmonic analysis, PDE, geometric combinatorics, arithmetic combinatorics, analytic number theory, compressed sensing, and algebraic combinatorics. I am part of the Analysis Group here at UCLA, and also an editor or associate editor at several mathematical journals. 我是加州大学洛杉矶分校（UCLA）数学系的教授。我从事多个数学领域的研究，主要包括调和分析、偏微分方程（PDE）、几何组合学、算术组合学、解析数论、压缩感知和代数组合学。我是UCLA分析小组的成员，同时也担任多本数学期刊的编辑或副主编。
打开封面
下载高清视频
观看高清视频
视频下载器
陶哲轩（Terence Tao）讨论人工智能（AI）在推动大规模数学探索中的潜力和挑战
Hillel Furstenberg - 为什么我选择了数学
Jacob Lurie - 什么是... 𝘱进几何?
【数学纪录片】Alexander Grothendieck, 天才的旅途
Serre, Cartier, Dixmier 和 Connes 谈布尔巴基的 1945-75 年代
[RH Saga] L函数和朗兰兹纲领｜黎曼猜想传奇 S1E2
Paul Dancstep - 什么是范畴论？数学的数学
Emily Riehl - 形式化后严格数学
Thierry Coquand - 归纳定义与构造主义数学
[RH Saga] 广义黎曼猜想｜ 黎曼猜想传奇 S1E3
[TAI前沿]数学新纪元：陶哲轩与AI的工业规模革命
[RH Saga] 黎曼猜想与 𝔽₁ 之梦｜黎曼猜想传奇 S1E1
Terence Tao 陶哲轩 - 人工智能在科学和数学中的潜力
Dennis Gaitsgory - 几何Langlands猜想的证明
Dustin Clausen - 1/4 Three perspectives on Deligne cohomology
Graham Manuell - 4/5 无点拓扑与构造主义数学
Andrej Bauer - 形式化不可见的数学
Graham Manuell - 2/5 无点拓扑与构造主义数学
Bertrand Toën - Geometric quantization for shifted symplectic structures
Philippe Michel - Paul Nelson的工作
Jim Arthur - 母题与自守表示
Geoffrey Vooys - 4/5 Equivariant Derived Categories
Graham Manuell - 3/5 无点拓扑与构造主义数学
[CT23] Vanessa Miemietz - Categorification in Representation Theory
Sam McCrosson - Exodromy
Eric Finster - 同伦论与构造主义数学
Philsang Yoo - Langlands对偶和量子场论
Urs Schreiber - Higher Topos Theory in Physics
Chris Schommer-Pries - 高阶范畴的同伦论的唯一性
Mert Akdenizli - 局部域和局部类域论
Charanya Ravi - K-theoretic Localization Theorem
Terence Tao 陶哲轩 - 2/4 Large gaps between primes
Amritanshu Prasad - 物种, 第一讲
James Newton - Automorphy Lifting, 4
Mathieu Anel - An example of elementary infinity-topos
【IG研讨会】Mateo Carmona - 格罗滕迪克研究中心（CSG）介绍
Andrej Bauer - 可数实数集
Barbara Fantechi - Derived deformation theory - lecture 2
[Palmgren Memorial] Håkon Gylterud - 泛等集合论
Mahesh Kakde - 关于Brumer-Stark猜想
