AI 驱动高中数学课堂：核心素养如何真正落地
2026 年 5 月 21 日下午，太原市高中数学 2026 年第三次中研班活动于第十八中学圆满落幕。本次活动紧扣“人工智能赋能课堂教学展示及实践探索”这一核心议题。在教育数字化转型的浪潮下，AI 技术正全方位、深层次地渗透至教育教学的各个环节，为高中数学教学带来了前所未有的机遇与挑战。高中数学兼具高度基础性与严密逻辑性，如何科学借力 AI 突破传统教学局限，优化课堂效率，推动学生数学核心素养的扎实落地，是每位数学教育工作者必须深入思考并积极践行的关键课题。本次活动通过三位优秀教师的精彩授课展示与经验交流
百元成本破解80年数学悬案：AI正在重塑学术研究规则
近期，OpenAI 公布了一则令数学界为之震动的研究成果。其通用推理模型独立推翻了一个悬而未决近八十年的著名猜想——Erdős 平面单位距离问题。这不是辅助人类完成的，也不是检索了已有文献，而是完全自主推理得出的结论。菲尔兹奖得主 Tim Gollars 评价道："若这篇论文以人类名义投向《数学年鉴》，我会毫不犹豫支持发表。"随后 Ethan Mollick 进行了一番测算。基于公开的大模型推理成本数据，解决这个八十年难题所耗费的资源为：电力 0.6–6.3 千瓦时（相当于电动汽车行驶数英里），水资源 3
Karpathy加盟Anthropic，OpenAI内部AI突破数学难题
5月19日 8:05，Andrej Karpathy在X上发了一条36个字的帖子。"Personal update: I've joined Anthropic. I think the next few years at the frontier of LLMs will be especially formative. I am very excited to join the team here and get back to R&D."帖子发出14.8万次转发，这在
AI专业深度剖析：未来赛道还是劝退专业？
在许多人眼中，AI是代码的星辰大海，是未来十年的黄金赛道！但现实果真如此？本期我们来聊聊人工智能这个专业。人工智能的课程体系分为基础课与专业课：和计算机、电子信息类存在交集：高等数学、线性代数、概率论、Python编程（最常用，比C++更契合AI方向）、计算机基础、操作系统、数据结构。躲开“人工智能原理”这种抽象概念：机器学习（核心中的核心，教计算机“学会学习”）、深度学习、计算机视觉（让机器“看懂”图像，如人脸识别）、自然语言处理（让机器“听懂”语言，如语音助手）、数据挖掘（从海量数据中寻找规律），部分
AI 攻克数学难题，安全防线却后撤 | AI周刊 Vol.23
2026.05.23 — 05.24头条OpenAI 官网联合 arXiv 宣布：内部通用推理模型独立证伪了 1946 年的平面单位距离猜想，其 125 页的证明依据代数数论的类域塔及 Golod-Shafarevich 理论——该过程未经过专门训练，也未检索外部答案。经 Princeton Sawin 优化后，改进指数 delta 被修正为 0.014九位数学家在 arXiv 2605.20579v1 上共同署名予以验证白宫原定要求前沿 AI 模型上线前进行 90 天安全审查。但在三位科技巨头同日致电后
AI破解数学难题：从解题工具到发现新知
你是否曾思考，AI何时能够自主提出问题？不是人类给它题目求解，而是它自行发现问题、探索未知路径，并指出人类认知的不足之处？昨日，OpenAI完成了一项令数学界震惊的工作——其内部通用推理模型独立证明了埃尔德什于1946年提出的几何猜想存在错误。八十年来，无数数学家在“平面单位距离问题”上屡战屡败。埃尔德什曾悬赏500美元征集解答——如今，一台尚未公开的AI用前所未有的方法推翻了这一猜想。更令人震惊的是：该AI所采用的方法，连专研此问题的数学家都未曾设想过。究竟发生了什么首先明确“单位距离问题”的核心——在
AI 日报：破解 80 年数学难题，OpenAI 启动 IPO 进程 | 2026-05-23
AI 行业日报 · 2026.05.23AI 实现原创数学证明 资本与监管同步布局▸ 🔬OpenAI 推翻 Erdős 80 年猜想▸ 🔬Mythos 单月发现 1 万 + 高危 0day▸ 💰OpenAI 确认提交 IPO 招股书▸ 🌐白宫拨款 90 亿为情报机构采购 AI 芯片▸ 🔧codegraph 登顶 GitHub 增速榜首周六的 AI 领域波澜起伏。一方面，OpenAI 的一款通用推理模型自主推翻了困扰数学界长达 80 年的 Erdős 单位距离猜想，并经由外部数学家逐层验证；另一方面，资本运
AI技术驱动下小学数学'问·学'课堂互动模式创新
[摘要]问·学课堂是新课标提出的新理念旨在发挥问题的驱动作用引导学生自主探究推动学生由以往的被动学转变为主动学从当下小学数学问·学课堂情况看互动形式单一问题设计不够具体等问题较为普遍导致学生问的主动性学的有效性受到了限制AI技术凭借个性化推送实时反馈等优势受到师生重视为发挥其赋能作用因此教师构建小学数学"问·学"课堂时应重塑互动体系突破传统互动模式带来的限制促进教学质量与效率的综合提高[关键词]人工智能；小学数学"问·学"课堂；互动实践随着核心素养在课堂教学中的贯彻落实小学数学教师在创新教学工作的同时也愈
AI数学的深浅
今天聊点硬核话题。一个疑问：AI究竟运用了多深奥的数学？从技术手段和架构来看，AI所涉数学的“平均年龄”已达150岁，绝大多数源自19世纪以前：矩阵运算、梯度下降、链式法则、傅里叶变换、内积、概率论，大多属于本科低年级课程。然而，AI涌现出的某些现象，即便是当前最前沿的数学理论也无法阐释。我总结了几个备受关注的现象：- 缩放定律：当模型规模扩大、数据量增加、算力提升时，模型的损失函数会遵循一条极其平滑的幂律曲线下降，在对数坐标下近乎直线。面对一个拥有数千亿参数、内部高度复杂的巨型网络，其宏观表现竟如此井然
AI 攻克 79 年数学悬案：OpenAI 此次是突破还是重演？
5 月 21 日，OpenAI 投下了一枚重磅炸弹。并非 GPT-5，亦非 Sora，也非那些炫目的多模态大模型——而是一款通用推理模型，它悄无声息地破解了一道困扰数学界长达 79 载的几何谜题。平面单位距离猜想，即 Erdős Unit Distance Problem，由匈牙利数学巨匠保罗·厄多斯于 1946 年提出，至今无人能解。直至昨日，一位 AI 宣称：我破解了。OpenAI 首席执行官山姆·奥特曼在 X 平台转发了此消息，并附言引人遐想："心情很复杂。"复杂？我阅后的感受同样错
AI赋能课堂，智慧引领成长——赣州市余学敏名师工作室首场线下研修侧记
AI赋能课堂智慧引领成长赣州市余学敏信息化教学名师工作室首场线下研修侧记五月榴花映红，万物生机盎然。5月22日，赣州市余学敏信息化教学名师工作室首场线下研修在崇义县思源实验学校拉开帷幕。活动紧扣“AI润育童心·研修共促成长”主题，探索AI与小学数学的融合路径，助力城乡教育均衡。崇义县教育局领导、工作室全员及全县数学教师代表齐聚一堂，共赴智慧教育探索之旅。第一阶段：启动大会——扬帆启航，凝心聚力上午8时30分，启动仪式正式开始，由崇义县教学研究股股长田星主持。思源实验学校党总支书记吕昌松致欢迎词，强调学校将
数智学院团学换届启动：主席团招新指南
数学与人工智能学院团学组织换届啦（主席团篇）青春逐梦，薪火相传！青春逐梦，薪火相传！为进一步强化我院团学架构建设，数学与人工智能学院团学组织主席团换届程序正式开启。热忱邀请怀揣理想、勇于担当、充满激情的你，以青春之名义，响应时代召唤，在奉献服务中实现成长，在务实奋斗里绽放光芒！一、面向对象团学组织全体同学二、报名时间即日起至2026年5月24日（星期日）18:00三、岗位设置团委学生副书记、学生会执行主席、学生会主席团成员、青年志愿服务队主席四、报名条件参选者须为中共党员（含预备党员）或共青团员，思想积极
AI 终结 80 年几何猜想，菲尔兹奖得主惊叹：数学新纪元
2026 年 5 月 20 日，OpenAI 公布了一项令数学与人工智能领域为之震动的新发现：其内部的一款通用推理模型，独立证明并证伪了一个存续近八十载的组合几何核心猜想——平面单位距离难题（Planar Unit Distance Problem）。这并非 AI 在博弈游戏中胜过人类，也非辅助数学家进行运算。这是 AI 首次独立攻克一个公开的、位于数学核心领域的未解之谜。普林斯顿大学知名组合数学家 Noga Alon 评述道："这是 Erdős 钟爱的数学谜题之一，所有钻研组合几何的学者都曾深思
耗时80年的几何猜想被AI攻破：关键不在于计算速度
整整80年！一道几何学难题从提出到被破解，经历了如此漫长的岁月。1946年，数学家保罗·埃尔德什提出了一个经典的几何学假设：在平面上任意放置 n 个点，其中任意两点间距离恰好为 1 的配对数量，其最大值究竟是多少？这就是著名的"埃尔德什单位距离问题"。在随后的80年间，众多数学家尝试突破该假设所设定的数量上限，始终未能获得实质性进展。2026年5月20日，OpenAI官方宣布其团队研发的通用模型，独立发现并纠正了这一经典假设中关于上限的论证缺陷。按照OpenAI的说法，这是其模型首次独立完成数学领域的公开
AI的真实水平究竟如何
——数学、图灵测试与一个替你干活的幽灵近期，三件大事接连发生。OpenAI的模型攻克了一道困扰数学界八十年的难题，菲尔兹奖得主称赞其论文质量极高。GPT-4.5在图灵测试中，有73%的评委误以为它是真人，胜过人类自己。Google推出了Gemini Spark，一个全天候为你服务的AI助手——你只需下达指令，查邮件、比价、订票、安排日程，其余琐事全由它搞定。单看每条新闻都足以登头条，但凑在一起感觉却不同：AI似乎在多个维度上同时跨越了一个临界点。· · ·▎一先说数学新闻，别被“AI又赢了”四个字轻描淡写