陶哲轩
一盘大棋！OpenAI「截胡」IMO金牌，奥特曼为GPT-5献上「核弹级」预热
OpenAI的通用推理模型在国际数学奥林匹克竞赛（IMO）中获得金牌，引发关注。陶哲轩认为，缺乏受控测试环境使得AI数学能力难以准确评估。
陶哲轩看傻：三破18年数学纪录！谷歌推出「AI爱迪生」，科研不再靠灵感？
谷歌发布的AlphaEvolve能够在30天内解决18年未解的数学难题。它利用进化算法在编程空间中搜索解决方案，并通过严格的评估函数判断其有效性。科学家们认为，未来科学家的角色将转变，更多地专注于如何定义问题、设计评估函数以及解释AI生成的结果。
陶哲轩转发！华人数学博士后反超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提升数学推理及证明能力，并有望成为自动定理证明或形式化工具的测试基准。