V
主页
京东 11.11 红包
Terence Tao 陶哲轩 - 人工智能与数学|陶哲轩在国际数学奥林匹克竞赛2024
发布人
https://youtu.be/e049IoFBnLA Terence Tao at IMO 2024- AI and Mathematics The AIMO Prize and IMO 2024 are supported by XTX Markets 亚洲国际数学奥林匹克奖(AIMO Prize)和2024年国际数学奥林匹克竞赛(IMO 2024)受到XTX Markets的支持 Speaking at the 65th IMO in Bath, UK, Terence Tao gives an overview of how computers and AI are being used in mathematical research. He discusses the evolution from early computational tools to modern machine learning and formal proof assistants, highlighting recent breakthroughs and ongoing challenges. Tao emphasizes that while AI is becoming increasingly useful in mathematics, human insight and creativity remain essential for making meaningful progress in the field. 在英国巴斯举行的第65届国际数学奥林匹克竞赛(IMO)上,陶哲轩(Terence Tao)发表了演讲,概述了计算机和人工智能在数学研究中的应用。他回顾了从早期计算工具到现代机器学习和形式化证明助手的发展历程,并强调了近期的突破和仍然存在的挑战。陶指出,尽管人工智能在数学领域变得越来越有用,但人类的洞察力和创造力仍然是取得有意义进展的关键。 00:00 Introduction by Gregor Dolinar, IMO President 01:41 History of Machines and Mathematics 06:11 Online Encyclopedia of Integer Sequences 09:28 SAT Solvers 14:38 Proof Assistants 36:05 Machine Learning 41:34 Large Language Models 51:11 Q&A: Voevodsky 53:14 Q&A: Attending university at a young age 55:10 Q&A: Choosing fields of mathematics, Erdős number 00:00 IMO主席Gregor Dolinar的介绍 01:41 机器和数学的历史 06:11 整数序列在线百科全书 09:28 SAT求解器 14:38 证明助手 36:05 机器学习 41:34 大型语言模型 51:11 问答:Voevodsky 53:14 问答:年轻时上大学 55:10 问答:选择数学领域,Erdős数
打开封面
下载高清视频
观看高清视频
视频下载器
2006年第47届IMO国际数学奥林匹克竞赛满分金牌得主柳智宇采访.
“神童”陶哲轩:8岁高考760分,智商超过爱因斯坦,如今怎样了?
数学天才陶哲轩讲课,真天才的风采是假货望尘莫及的!
丁肇中:我在密歇根大学翘课无数,没有错过一场橄榄球比赛。我对密歇根大学很感恩,它教育我、支持我。
Anantharaman, Ghys, Gowers & 陶哲轩 - 数学家是正常人吗?
法兰西科学院与陶哲轩的问答环节
2006年第47届IMO国际数学奥林匹克竞赛满分金牌得主柳智宇.
厉害了!浙江高中生史皓嘉再获国际数学奥林匹克竞赛满分金牌!
著名数学家、菲尔兹奖获得者陶哲轩自曝本科期间也曾挂过科
哈佛最年轻华人物理教授尹希:“神童?我最讨厌这么形容我”
丘成桐评价自己:我倒是不错的数学家,跟伟大的学者比,还是差得很远。
沉浸式旁听菲尔兹奖得主 James Maynard 开组会
哈佛华人物理教授尹希:我讲课不敢讲太快,不然哈佛的学生听不懂
回忆录|7岁的陶哲轩。学习微积分,抽象代数!会写代码,发表数学文章的超级天才!
费曼:我一直害怕读李政道的论文,觉得它太难
数学男神陶哲轩谈数学学习
陶哲轩:合作非常关键,即使在数学领域也不例外
世界名题|IMO29-6秘辛:陶哲轩败走,Emanouil封神 难度五星(★★★★★)
Terence Tao 陶哲轩 - 欧式空间的平移平铺
Terence Tao 陶哲轩 - 人工智能与数学
千万不要在国外找亚裔解数学题
【小宇分享7】怀尔斯:回忆证明出费马大定理的那一刻(搬运)
丘成桐:期待中国10年内有一批得菲尔兹奖,并且有做大学问的人。
陶哲轩:我从小就喜欢像数学这类规则非常清晰的东西
陶哲轩的AI数学论,一次解决一千个问题,彻底摆脱"蛮力计算"
陶哲轩和他的“作弊策略”
Isaac Newton数学科学研究所&Clay数学研究所:代数几何和微分几何中的新等变方法&Moduli stack与计数几何&K-稳定性&Kähler几何
陶哲轩的数学笔记
【淘汰】人与人工智能的思考
陶哲轩-地上最强数学家访谈 中英双语字幕
Anantharaman, Ghys, Gowers & 陶哲轩 - 数学里的证明
Terence Tao 陶哲轩 - 积性函数的相关性
世界大赛中,韩国棋手申真谞不慎手滑下错棋,柯洁表情亮了…
Terence Tao at IMO 2024 AI and Mathematics
【大师课】[中英字幕]数学天才 陶哲轩Terence Tao 不再恐惧数学 学会新思维
Terence Tao 陶哲轩 - 机器辅助证明
陈省身:我超越不了嘉当,第一次见面,他就给我三个题,我不会做
Bjorn Poonen访谈纪念Gerd Faltings七十大寿
【访谈】1988邂逅亚历山大·格罗滕迪克|Roy Lisker
陶哲轩(Terence Tao)谈张益唐和孪生素数猜想