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