AI让数学再也回不去那个旧世界了。
OpenAI 在 GitHub 开源 openai/math，722 份数学手稿归成 372 个成果组，覆盖数论、代数几何、理论计算机等方向，出自一个尚未公开的内部模型，每个结果平均消耗约 3 小时 ChatGPT Pro 级算力，数学评测本身已经刷满。
“智能计算”，打造同济数学新名片
编者按：同济大学进一步全面深化教育科技人才一体改革，全面推进“数智化、绿色化、融合化”向纵深发展，各学院积极推动学科转型创新发展，深度融入学校事业发展全局，不断取得新进展。为此，特别推出“同济转型发展之路”系列报道，呈现各学院在推动学科转型创新发展中的新作为、新气象。
Axiom Math 想让 AI slop 远离数学，用形式化验证打地基
AI 破解数学难题的新闻越来越多：上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后，Axiom Math 押注数学可以避开这个命运，不是放慢速度，而是站在更稳的地基上。
小学高频核心英文单词
小学英语没有全国统一的“单词大全”，不同教材（人教版、外研版、译林版等）词汇有差异。下面是一份小学阶段高频核心词汇分类汇总，适合复习和打基础，可复制打印。以教材为准补充。1.
AI数学的最后一道高墙，塌了，GPT-6 Astra刷穿FrontierMath Tier 4
刚刚，最后一道FrontierMath Tier 4难题，被GPT-6 Astra攻破了。Epoch AI也正式给它下了结论，FrontierMath Tier 4，饱和了。
Zearn Math数学教育软件实施成本分析
美国学生数学成绩近年持续下滑，加之疫情导致的学习损失进一步加剧这一问题，这使得改善数学教学，尤其是小学高年级阶段的数学教学，重新受到关注。这一阶段是学生为代数以及科学、技术、工程、数学等学科打下基础技能的关键时期。
4 Nov 英语每日一句
Mathematics is a vast adventure in ideas; its history reflects some of the noblest thoughts of countless generations.
数学成绩（Math Scores）
The week before last, my younger daughter, Erbao, scored a 69 on her math unit test.