陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
闻乐 发自 凹非寺量子位 | 公众号 QbitAI陶哲轩转发，AI搞数学证明的标准习题集来了！DeepMind最新开源形式化数学猜想库——猜想库收录了经典的形式化表述的数学猜想集合，例如，解析数论中的四个朗道问题。
陶哲轩，当世最强数学家解读数学的6个核心概念
陶哲轩是加州大学洛杉矶分校数学教授、菲尔兹奖得主，被同行称为"数学界的莫扎特"。Big Think这期访谈的原标题就是 The world's greatest mathematician，所以就翻译为"当世最强"了。我不是数学专业人士，和几个模型确认了一下，结论是问题不大。
教师节聊城仿真鲜花走俏 600余枝半小时抢购一空
9月10日教师节，在聊城东昌府区东昌东路某小学附近聚集了很多卖仿真鲜花的学生和家长。600多支仿真鲜花半个小时内被抢购一空，现场火爆异常。据了解，仿真鲜花花主要一塑料和布为主要原料，并撒发着刺鼻的香味，一枝仿真鲜花销售价格在3至5元左右。一位家长正在挑选仿真鲜花。
EternalMath：一个与人类数学发现同步进化的AI测试平台
当你听说某个AI模型在数学考试中得了满分时,可能会觉得人工智能的数学能力已经超越人类了。然而真实情况远比这复杂。最近这项来自腾讯和中国人民大学的研究揭示了一个令人深思的现象:当我们用真正的前沿数学研究来测试这些AI时,即便是最先进的模型也会暴露出巨大的能力短板。
17岁高中生一战封神，推翻40年数学猜想，起因竟是一道选做题
40多年来，数学界相信Mizohata-Takeuchi猜想是对的。这道题自然也难倒了17岁的Hannah Cairo。
o4-mini暴击六大数学天团，攻破陶哲轩难题，4.5h激战人类阵地失守
不到两年，我们会见证AI数学家的重大突破！最新实验中，o4-mini与40位数学家，一同挑战300道菲尔兹奖级难题。o4-mini一举击败6组团队，超越人类平均水平。八支「数学家天团」和o4-mini-medium同台竞技，谁会最终胜出？
o4-mini暴击六大数学天团攻破陶哲轩难题！4.5h激战人类阵地失守
编辑：桃子【新智元导读】不到两年，我们会见证AI数学家的重大突破！最新实验中，o4-mini与40位数学家，一同挑战300道菲尔兹奖级难题。o4-mini一举击败6组团队，超越人类平均水平。八支「数学家天团」和o4-mini-medium同台竞技，谁会最终胜出？
范畴学：人工智能里蕴含的深刻数学
本文谈计算机和人工智能理论使用范畴学的一些例子。希望借助这些例子鼓励更多计算机科学与数学的交流，相互促进更大的创新发展，希望人工智能有一天用上更深刻的数学。本文根据作者在2025年4月在河南师范大学数学系和计算机系的报告撰写。
我与《数学传播》的十年：2009–2018（2）
46 H. Wu， How mathematicians can contribute to K-12 mathematics education， Proceedings of International Congress of Mathematicians， Madrid 2006， Volume III， European Mathematical Society， Zuerich， 2006， 1676–1688. 中译文， 数学家如何为中小学数学教育做出贡献 ， 赵洁、余蕾译，《数学通报》，2017 年第 12 期。