AI模型颠覆数学猜想
人工智能首次推翻离散几何核心猜想，数学界迎来"iPhone时刻"5月21日，OpenAI发布重要研究，宣布其最新AI系统成功推翻了离散几何领域的一个核心猜想——"埃尔德什-法尔廷斯覆盖猜想"的某个推广版本。这个猜想自1960年提出以来，已经困扰了数学界60多年。全球顶尖数学家曾尝试各种方法证明或证伪，均未成功。如今，一个AI系统在48小时内完成了这项工作。数学界震动了。著名数学家陶哲轩在社交媒体上发文："这是数学史上的iPhone时刻——AI不仅能辅助证明，还能发现
人工智能突破Erdős单位距离猜想
2026年5月20日，OpenAI发布了一则重磅消息：其内部研发的通用推理模型，成功证伪了匈牙利数学家Paul Erdős在1946年提出的一个关键猜想。该猜想被视为离散几何领域最具知名度、表述最为简洁却悬而未决八十年之久的难题之一。外部数学家团队已对证明过程进行了审核，并发表了配套论文，详细阐述证明的逻辑框架与学术背景。普林斯顿大学数学家Will Sawin教授进一步优化了这一结论。剑桥大学菲尔兹奖获得者Timothy Gowers发表评论指出，这一成果"在未来数月乃至数年内，将在各数学分支中涌现类似突
【学在集里】人工智能助力数学课堂——浏阳市开展AI赋能教学专题研修
当生成式人工智能走进小学数学课堂，会产生什么样的教学新可能？为了深入落实"学为中心"的教学思想，提升教师数字化教学能力，2026年5月19日下午，浏阳市小学数学"AI赋能课堂教学"专题研修活动，在浏阳市教师进修学校附属小学多功能报告厅成功举行。全市小学数学中心教研组长、各辖区骨干教师以及浏阳市小学数学名师工作室全体成员齐聚一堂，以专家为引领、以研修为平台，共同探讨技术赋能教育的新路径、新策略。专家引领：解锁AI教学新模式本次活动特别邀请张新春老师开展《生成式人工智能大模型与交互性教学资源开发》专题讲座，为
AI圈大事件：国产模型突破、巨头IPO在即、行业收入飙升
01 千问3.7-Max亮相：面向Agent时代的基座模型阿里千问推出全新旗舰模型Qwen3.7-Max，定位为Agent时代的全能基础模型。该模型在编程、通用Agent及复杂推理等测试中表现优异，在35小时、1158次工具调用的自主优化实验中，实现了10倍的几何平均加速。它原生适配Claude Code、OpenClaw等主流智能体框架，支持MCP集成与多智能体协作，即将通过阿里云百炼API上线服务。02 OpenAI模型突破性证明80年数学猜想OpenAI宣布其内部通用推理模型成功解决了数学家埃尔德什
AI模型突破组合几何经典难题：80年悬案终被解开
OpenAI Research · 2026 年 5 月 20 日 · 研究里程碑近 80 年来，数学家们始终在探索一个看似简洁的问题：当平面上分布着 n 个点时，最多能形成多少对恰好相距 1 个单位长度的点？这就是著名的平面单位距离问题（planar unit distance problem），由匈牙利数学家保罗·埃尔多什（Paul Erdős）于 1946 年首次提出。该问题是组合几何（combinatorial geometry）领域最具影响力的难题之一——表面上看似直白，实则极度复杂难解。200
人工智能突破80年数学难题 单位距离问题终被攻克
OpenAI 研发的通用推理模型成功破解了困扰学界八十载的"单位距离问题"，彻底否定了离散几何领域的这一核心猜想。这被视为人工智能驱动数学研究进入崭新阶段的重要标志。试想你在无限广阔的平面上分布若干点。任意两个点之间都存在一定距离，其中部分点对之间的距离恰好为 1（即"单位距离"）。核心问题在于：究竟能够形成多少对距离恰好为 1 的点？这个问题看似直白，实则蕴含极深的数学内涵。Brass、Moser 和 Pach 在 2005 年推出的《离散几何研究问题》一书中，将其称为"组合几何中最负盛名（也最易阐释）
AI数学证明的新纪元 - 从OpenAI离散几何成就看科研智能体的潜力与局限
当 AI 开始证明数学从 OpenAI 离散几何突破，看科研智能体的价值与边界关键进展OpenAI内部通用推理模型证伪了平面单位距离问题中长期被视为定论的 n^{1+o(1)} 猜想，成功构建了具有明确指数级增益的反例。更广阔的视野结合AlphaGeometry、AlphaProof、Lean/Mathlib等成果，探讨AI如何从单纯的计算辅助升级为研究协作伙伴。核心洞察AI的价值不仅在于更快速的运算，更重要的是拓展研究边界、揭示跨学科关联、提供反例并协助验证。保持警惕AI成果需要专业评估、形式化确认和学
智能技术助力教学 素养培育新路径——繁阳小学开展语数学科AI教学线上培训
FANYANGXIAOXUE智能技术赋能课堂核心素养润泽成长智能化教学线上培训活动技术赋能优质课堂，实践育人促进发展。为深化智慧教育课堂构建，革新教师教学观念，增强课堂教学效果，使现代教育技术更好融入日常授课，5月19、20日，我校举办“智能技术赋能课堂 素养浸润成长”语数线上培训活动。此次活动设置语文、数学两个分会场，贴近教学一线、紧抓实践需求，协助教师掌握智能教学工具应用，优化课堂结构，落实学生素养培养。语文分会场语文分会以《生成式人工智能在小学语文教学中的多场景运用》为主题开展交流研讨。培训内容结合
AI 赋能数学教学 岭脚镇开展课堂展示活动
加速教育数字化变革，促进人工智能与小学数学教学深度结合，增强教师信息化素养及课堂实效，近日，2026 年春季学期岭脚镇小学数学活用 AI 技术课堂展示活动在岭小多媒体教室圆满举行。全镇各小学骨干力量汇聚于此，共同研讨智慧教学，携手推动专业进步。精品云集 匠心显风采历经各集群学校多轮筛选与推荐，四位杰出数学教师脱颖而出晋级镇级展示。潘锦露、梁夏明、李水娟、黎妮四位老师分别讲授《认识几分之一》《认识三角形》《用数对确定位置》《长方体和正方体的认识》，紧扣教学目标，精妙设计教学环节，充分彰显了我镇小学数学教师深
2026年教育部AI教学案例征集指南：数学学科四大赛道实战攻略
各位数学教师，2026年教育部人工智能应用案例征集活动正在火热进行中！今年设有教AI、用AI、创AI、护AI四个赛道。对于数学教师而言，AI工具在解决“抽象概念可视化呈现”、“精确学情诊断分析”、“分层作业设计”等教学难点上具有独特优势，是展现学科融合与教学创新的良好契机。1. 赛道定位一句话定位：你作为数学教师，给学生讲授一堂关于“人工智能基础认知”的通识课程。适合人群：中小学数学教师核心要求：以人工智能基础知识为核心内容，培养学生适应智能时代的核心素养。3. 案例模板案例名称：数据与智能：AI如何通过
张益唐谈AI：未解素数难题，却擅长过度赞誉
5月17日，2026搜狐科技年度论坛在北京召开。来自科学界、学术界和产业界的近30位嘉宾围绕基础科学与人工智能议题展开深入探讨。论坛期间，国际著名数学家张益唐发表了题为《从孪生素数到零点猜想：近年基础数学的前沿突破》的主题演讲。据“搜狐科技”微信公众号报道，张益唐首先阐述了孪生素数的核心概念。他指出：“解析数论是一门高度抽象的数学学科，但在实际操作中，它与实验科学颇为相似。研究对象是数字或函数等与算术相关的内容。”谈及AI对孪生素数研究的影响，张益唐表示，目前AI在数论或经典解析数论问题上尚显无力，但其能
AI赋能小学数学教学，黄石市第二期展示活动圆满落幕
为了推动AI技术与小学数学教学的深度融合，打造高效的智慧课堂，从而促进学生核心素养的全面提升，黄石市小学数学“AI助力成长课堂”第二期教学展示活动于2026年5月15日在阳新县富川小学成功举办。本次活动由县教研员汪炜老师牵头，特邀市教研员柯爱武老师以及各区县骨干教师齐聚一堂，共同探索AI赋能教学的新模式。活动现场，三位骨干教师分别展示了精彩课例。他们紧扣学科核心素养，巧妙运用AI教学手段，创新课堂设计，呈现了三节理念先进、互动性强且特色鲜明的小学数学优质课，充分展示了新时代小学数学教师的风采及AI课堂的独
携手世外共话 AI 教研——临海桃渚中学与宁波上海世外学校理科交流纪实
导言：人工智能正深刻重塑教学与教研生态，为课堂提质增效注入新动能。为了探寻AI在备课、授课及评价全环节的应用路径，搭建跨校交流桥梁，宁波上海世外学校特举办AI赋能教研观摩研讨会，诚邀台州市临海桃渚中学教师莅临交流，共探智能教育新篇章。观课赋能：直观体验 AI 驱动下的教研课堂邵婧老师执教的初中数学 AI 融合示范课《2.6.1直角三角形》，凭借精巧的教学设计及智能平台的辅助，将抽象的几何原理演绎得生动具体、妙趣横生。方法赋能：掌握 AI 优化教研的实操策略我校数学组、科学组及信息技术组三位教师代表进行了干
AI时代下的性价比之王：中山大学热门专业深度报考指南
2025年江苏招生季，中山大学（中九）投放数学、物理、计算机及柔性电子学等热门专业，录取分数落在644至652分之间。本文将从分流模式、学科实力、院士团队、科研平台、城市产业结合、竞赛表现、保研就业以及未来薪资预测等11个方面，通过具体数据和案例进行权威解读。虽然中大在2022年已停止跨院系的“超级大类招生”，但院系内部的专业类招生仍保留。2025年在江苏招生的四个专业中，仅柔性电子学和振声班是入学即定专业，无需分流；其余三个“类”均需在大一结束后进行二次选择。•数学类（广州南校园）：实行大类培养两年，大
AI技术驱动数学创新教学 名师示范引领专业成长
在积极探寻初中数学教学新模式、充分发挥名师工作室示范引领辐射作用的背景下，2026年5月8日，南平市王国芳名师工作室在浦城县水北街中学开展集中研训与送培送教活动。本次活动以“初中数学教学新路径探索——AI技术赋能视角”为主题，重点研讨几何教学改革。浦城县教师进修学校校长王大友到场指导，王国芳名师工作室成员、浦城县数学骨干教师及水北街中学数学教师参加活动。02名师送教王国芳名师工作室主持人、浦城一中正高级教师王国芳呈现了《解锁直线两大密码：相交与平行》示范课。王老师运用数字人与几何画板动态演示技术，融入AI