陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议
陶哲轩罕见长长长长长访谈：数学、AI和给年轻人的建议陶哲轩罕见接受了一次长长长长访谈，把他关于数学、AI、教育和人类智慧的最新认知，都对外分享了。
来自主题: AI资讯
7764 点击 2025-06-21 18:22
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
陶哲轩罕见接受了一次长长长长访谈，把他关于数学、AI、教育和人类智慧的最新认知，都对外分享了。
谷歌DeepMind重磅出击，开源首个形式化数学猜想库，获陶哲轩力挺！从解析数论的兰道猜想开始，这个开源项目将为AI破解数学难题的未来铺路。
数学家出手反击AI！对AlphaEvolve在“集合和差问题”上的成果进一步改进。
人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录！展现AI与人类协作的惊人潜力。AI如侦察兵广度扫描，人类专家深度优化，双引擎驱动下，科学前沿正在加速推进！
陶哲轩转发，AI搞数学证明的标准习题集来了！
数学大师陶哲轩的第三支Lean 4自动化数学证明视频来了！他携手GitHub Copilot挑战分析学经典的「ε-δ」极限问题：加法定理Copilot挥洒自如，减法开始卡壳，乘法更是全面失控。Copilot究竟是神助攻还是添乱？
视频新人博主陶哲轩又更新了！这次是“喂饭级”AI教程—— 手把手演示如何只用GitHub Copilot证明函数极限问题。
谷歌DeepMind重磅推出AlphaEvolve，最强通用AI智能体横扫数学难题！它不仅推动了300年「接吻数难题」，一举颠覆了56年前Strassen算法神话。而且，还在AI训推、TPU设计、数据中心领域，展现出了极强的实力。
陶哲轩YouTube视频第二弹震撼来袭！这一次，他让AI挑战在Lean中形式化代数蕴含证明，结果Claude约20分通关，o4-mini太过谨慎直接「弃赛」。
菲尔兹奖得主陶哲轩再放大招，仅数天时间，开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中，他甚至用AI在33分钟「盲做」形式化一页证明，效率惊人。