陶哲轩
陶哲轩转发！华人数学博士后反超DeepMind AI，停滞18年数学问题1个月内3次突破
数学家陶哲轩评价AlphaEvolve成果后，人类通过改进和分析方法进一步提升了集合和差问题的下界。Fan Zheng博士引入大偏差估计理论，将θ提升至1.173077；匈牙利数学家Robert Gerbicz则通过添加坐标约束参数，得到超大规模集合，并计算出最优θ值1.1584。陶哲轩认为AI和人类方法可以互补，共同促进数学进步。
一周两破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违「加速度」
人类数学家Robert Gerbicz与AlphaEvolve合作，一周内连续两次提升和差集问题中θ的值。从1.14465提升至1.173050，展现了AI和人类互补协作在科学前沿加速推进的力量。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind发布形式化数学猜想库，收录多种形式化的数学猜想。该资源库旨在帮助AI提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。
陶哲轩“喂饭级”AI教程来了！只用GitHub Copilot证明函数极限问题
视频新人博主陶哲轩展示了如何使用GitHub Copilot来证明数学定理，从函数极限问题入手，演示了求和、求差和求积定理的证明过程，并强调了正确引导Copilot的重要性。
陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关
陶哲轩对比Claude和o4-mini在Lean中形式化代数证明的实验结果，Claude用时约20分钟完成任务，而o4-mini因对称性问题直接弃题。实验揭示了自动化工具不同尺度上的效率表现以及与人工干预之间的微妙平衡。
未来已来？看陶哲轩如何“蒙眼狂奔”，33分钟让AI完成高难度数学形式化证明
陶哲轩分享了利用GitHub Copilot与Lean结合canonical策略的形式化数学证明实验，该实验针对Bruno Le Floch提供的一页纸等式理论证明。陶神尝试以低级别逐行方式形式化一个高度精确的“体力活”证明，并总结为AI辅助下的新范式。
陶哲轩油管首秀：33分钟，AI速证「人类需要写满一页纸」的证明
陶哲轩发布视频演示如何借助AI仅用33分钟完成复杂证明，他的订阅量和观看量迅速增长。他开发的数学助手也迎来2.0版本升级，用于简化某些命题逻辑的证明任务。