桂林市第十七中学承办高二数学“AI赋能循证教学研”教研活动——探索导数教学新路径
“当数学遇见AI：一场关于'导数'的深度对话”——桂林市高二年级“AI赋能循证教学研”主题教研活动在桂林市第十七中学举行为探索AI循证教学实践路径，依托人工智能技术提升课堂教学成效，切实推动学生核心素养的培养与全面发展。2026年4月9日下午，一场以“AI赋能循证教学研”为主题的数学学科教研活动在桂林市第十七中学如期举行。来自全市各高中的数学教师齐聚一堂，围绕“导数的概念及其几何意义”这一课题，通过研究课观摩、备课经验分享、考教衔接讲座等多种形式，展开了一场关于“技术如何赋能数学教学”的深度对话。研究课展
2026浙大AI数学夏令营：免费免宿
2026年度浙江大学暑期研修：AI4MATH课程详情大语言模型正在重塑数学家的日常工作流程，无论是提出猜想还是验证证明，AI 都已成为科研的得力助手，其中 Lean 工具更是备受推崇。本届暑期学校聚焦 Lean 形式化数学，全面覆盖从类型论基础到元编程的技术体系，并融合大语言模型等尖端 AI 技术，旨在探索利用 AI 重构数学科研与教学的新路径，现面向全国高校学子招募。开课时间暑期课程：2026 年 7 月 13 日 - 7 月 20 日成果汇报：2026 年 7 月 21 日举办地点浙江大学数学高等研究
中国AI首次攻克数学未解难题并完成形式化证明
近日，北京大学北京国际数学研究中心传来消息，董彬教授率领的AI4Math研究团队依托自主研发的人工智能框架，成功破解了交换代数领域一项悬而未决的猜想——安德森猜想，并在Lean编程语言与定理证明环境中完成了近19000行的形式化论证工作。此举标志着我国首次利用人工智能框架解决交换代数开放难题并完成大规模形式化验证，为数学与人工智能的深度融合开拓了新路径。 该猜想由美国学者安德森在2014年首次提出，其核心研究对象是“准完备局部环”的某些特性。此类环主要用于代数化描述几何体在局部区域（例如某个点的邻域）的无
第二届国际创科AI数学大赛启动，邀你共探科技未来
第二届国际创科AI数学大赛数学驱动科学科学塑造未来合办单位：内地报名单位：北京希语汇国际教育科技有限公司01活动宗旨与核心理念国际创科AI数学大赛是一项以推动创新与科技融合为核心的全球性赛事。活动聚焦创科（Innovation & Technology）主题，致力于深化人工智能（AI）与数学基础的结合，鼓励参赛者运用数学逻辑解决前沿科技问题，激发创新实践能力。我们特别关注为青少年及家长打造一个通过数学理解科学与AI的互动平台。本赛事不以单纯比拼为目标，更注重启发学生自主探索、发现自身潜能。通过多样
AI数学提分的高效路径
万校数学作为一种创新性的数学提分训练体系，它如何助力孩子稳步提高分数？现在，我们将从两个关键方面，深入解析其提分机制。在产品设计方面，万校数学将人工智能精准检测与人工辅导深度融合，构建出高效科学的学习闭环。系统首先匹配学生所用教材的知识点，通过AI进行全面精准评估，迅速找出知识薄弱环节；随后专业教练及时介入，针对这些薄弱点，运用尝试教学法和费曼学习法等科学方法，指导孩子进行针对性强化训练。完成漏洞修复后，AI会再次测试知识点，只有正确率超过85%，才视为完全掌握，如此循环，直到孩子彻底理解所有知识点，不留