菲尔兹奖陶哲轩公开预警：AI冲击百年体系，数学迈入Math2.0时代
不知道大家有没有想过，在我们印象里，数学一直是一门极度依靠人类思考、靠灵感一点点往前推进的学科。那些困扰人类上百年的猜想，往往要靠顶尖数学家耗费十几年甚至一辈子，才有可能拿出严谨证明。
AI与数学相遇，将把彼此带向何方？
【向科学家提问】光明日报记者 张晓华 陆健近年来，AI在数学领域的能力加快突破，已不再局限于辅助计算、定理证明，开始应用于科研级数学，参与猜想探索、证明构建，甚至攻克数十年来人类未解决的数学难题。
小学高频核心英文单词
小学英语没有全国统一的“单词大全”，不同教材（人教版、外研版、译林版等）词汇有差异。下面是一份小学阶段高频核心词汇分类汇总，适合复习和打基础，可复制打印。以教材为准补充。1.
AI与数学相遇，将把彼此带向何方？
【向科学家提问】光明日报记者 张晓华 陆健近年来，AI在数学领域的能力加快突破，已不再局限于辅助计算、定理证明，开始应用于科研级数学，参与猜想探索、证明构建，甚至攻克数十年来人类未解决的数学难题。
一句话把数学题做成动画：Math-To-Manim 开源了
摘要输入一道数学题或一个物理概念，Math-To-Manim 会先分析学习者需要什么、补齐前置知识、安排讲解顺序，再生成并检查 Manim 动画。它支持 Codex、Claude Code、MCP 和 REST API，适合做可视化课程、科普视频和教学演示。
数学成绩（Math Scores）
The week before last, my younger daughter, Erbao, scored a 69 on her math unit test.
Axiom Math 想让 AI slop 远离数学，用形式化验证打地基
AI 破解数学难题的新闻越来越多：上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后，Axiom Math 押注数学可以避开这个命运，不是放慢速度，而是站在更稳的地基上。
证明大爆炸，数学界变天，AI把陶哲轩逼出「数学 2.0」
今年10月9日，加州理工学院，贝克曼礼堂，是一场迟到了一年的演讲。站在台上的，是菲尔兹奖得主陶哲轩。
AI一次甩出722 篇数学论文，数学家如何与AI相处？
过去，数学家常要用几十年等待一道难题的答案；如今，他们需要学着应付“太快”的答案。10月初，人工智能公司OpenAI在代码托管平台GitHub上一次性公开了722篇未经同行评审的数学手稿。