Zearn Math数学教育软件实施成本分析
美国学生数学成绩近年持续下滑，加之疫情导致的学习损失进一步加剧这一问题，这使得改善数学教学，尤其是小学高年级阶段的数学教学，重新受到关注。这一阶段是学生为代数以及科学、技术、工程、数学等学科打下基础技能的关键时期。
国赛过后，2026下半年高含金量数学建模竞赛完整时间线！
“华为杯”中国研究生数学建模竞赛：由教育部学位管理与研究生教育司指导、中国学位与研究生教育学会主办，是中国研究生创新实践系列大赛的主题赛事之一，是广大在校研究生提高建立数学模型和运用互联网信息技术解决实际问题能力、培养科研创新精神和团队合作意识的大平台。
AI，别欺数学家太甚
杨冬自杀，外部背景是:三体人的智子干扰，让全球高能粒子加速器粒子碰撞结果完全随机、不可复现，这导致全球多名顶尖物理学家信仰崩塌，引发了物理学家自杀潮。
数学软件一览，让你的数学学习事半功倍
数学软件越来越多，选不对很耗时间，普通人怎么挑才顺手。我最近才发现，身边很多人学数学都用上了软件，有人拿它算题，有人画图，有人写论文。可软件装了一堆，真正用明白的没几个。问题不在软件多，而在没想清楚自己要解决什么，先看任务，再看阶段，最后看预算，选起来会简单很多。
Axiom Math 想让 AI slop 远离数学，用形式化验证打地基
AI 破解数学难题的新闻越来越多：上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后，Axiom Math 押注数学可以避开这个命运，不是放慢速度，而是站在更稳的地基上。
AI for Math临界点：OpenAI逼近霍奇猜想，数学正被重构成“软件工程”？
导语不到一个月，OpenAI接连冲击数学界最高峰。9月8日，该公司宣布其内部未公开模型解决了“纳维-斯托克斯存在性与光滑性问题”；9月17日，又有消息称OpenAI已接近证明另一道千禧年大奖难题——霍奇猜想。
开源数学库Mathlib
Mathlib（mathlib4）Mathlib 是社区驱动、开源、面向 Lean4 的大规模形式化数学库，相当于形式化世界的 “标准数学库”Lean。 GitHub：leanprover‑community/mathlib4，MIT 协议完全开源免费GitHub。
3亿用户的"AI学习搭子": 字节这款解题App, 为什么让学生集体"真香"
字节跳动的 Gauth（曾用名 Gauthmath）这款 AI 解题 App，全球用户已经干到 3 亿，2025 年还一度冲上美国 App Store 教育榜榜首——它不只是又一个"拍照搜题"工具，而是像一面镜子，照出了 AI 时代"学习"这件事正在被重新定义。