Zearn Math数学教育软件实施成本分析
美国学生数学成绩近年持续下滑，加之疫情导致的学习损失进一步加剧这一问题，这使得改善数学教学，尤其是小学高年级阶段的数学教学，重新受到关注。这一阶段是学生为代数以及科学、技术、工程、数学等学科打下基础技能的关键时期。
3亿用户的"AI学习搭子": 字节这款解题App, 为什么让学生集体"真香"
字节跳动的 Gauth（曾用名 Gauthmath）这款 AI 解题 App，全球用户已经干到 3 亿，2025 年还一度冲上美国 App Store 教育榜榜首——它不只是又一个"拍照搜题"工具，而是像一面镜子，照出了 AI 时代"学习"这件事正在被重新定义。
2026最新5款AI编程软件实测推荐
2026最新5款AI编程软件实测推荐花了两个周末，我把主流的几款 AI 编程软件挨个装了一遍，同一个项目用不同的工具写，记录下了各自的真实表现。
数学软件一览，让你的数学学习事半功倍
数学软件越来越多，选不对很耗时间，普通人怎么挑才顺手。我最近才发现，身边很多人学数学都用上了软件，有人拿它算题，有人画图，有人写论文。可软件装了一堆，真正用明白的没几个。问题不在软件多，而在没想清楚自己要解决什么，先看任务，再看阶段，最后看预算，选起来会简单很多。
AI for Math临界点：OpenAI逼近霍奇猜想，数学正被重构成“软件工程”？
导语不到一个月，OpenAI接连冲击数学界最高峰。9月8日，该公司宣布其内部未公开模型解决了“纳维-斯托克斯存在性与光滑性问题”；9月17日，又有消息称OpenAI已接近证明另一道千禧年大奖难题——霍奇猜想。
Axiom Math 想让 AI slop 远离数学，用形式化验证打地基
AI 破解数学难题的新闻越来越多：上个月仅 OpenAI 一家就发布了 719 篇声称解决某些最困难问题的手稿。计算机辅助检查也可能出错。在一堆 AI 垃圾内容之后，Axiom Math 押注数学可以避开这个命运，不是放慢速度，而是站在更稳的地基上。
2026年第二届全国大学生仿真建模应用挑战赛参赛高校名单公布！
2026年第二届全国大学生仿真建模应用挑战赛将于2026年10月16日20:00正式开赛，目前报名截止仅剩最后 8 天！本届大赛由中国仿真学会与吉林财经大学联合主办，是仿真学科领域唯一的大学生仿真建模专项赛事。本届大赛已形成“双一流领衔、多类型高校并进”的格局。
怎么看待AI大回调，大摩120页研报深度解读
这到底是短暂的技术性回调，还是周期见顶的信号，这是一个价值千金的问题。Morgan Stanley在7月27日发布了一篇长达120页的深度报告探讨了这个问题，标题为《Playing the AI Infrastructure Dip》。
AI，别欺数学家太甚
杨冬自杀，外部背景是:三体人的智子干扰，让全球高能粒子加速器粒子碰撞结果完全随机、不可复现，这导致全球多名顶尖物理学家信仰崩塌，引发了物理学家自杀潮。