AI 重塑数学版图?过去这一年,人工智能究竟攻克了哪些数学难题?
9 月 4 日凌晨，人工智能公司 OpenAI 正式推出新一代旗舰大模型 GPT-6 Astra，首席执行官布罗克曼在发布会尾声只留下了一句简短有力的话——「欢迎踏入 AGI 时代」。发布会当日，OpenAI 还同步公开了一项重磅成果：GPT-6 Astra 将困扰学界十二年之久的孪生素数问题最佳上界，由原来的 246 大幅压缩至 186，并附带了一份基于条件式的 Lean 形式化证明。从 246 到 240，人类足足摸索了 12 个春秋，从 240 到 186，AI 仅仅耗费了 3 个昼夜。在展开后续讨
AI数学答案检查的三个关键点
AI解题极快，孩子获取答案也容易，但老师更看重的是：速度固然重要，学生能否稳定复用才是核心价值所在。盯着“对错”看，很容易忽略一个关键点：学生解题的方法是否扎实可靠。我分享一个高效的教学技巧：批改AI解答时，只需关注这3个位置，既快又准。首要问题往往不是计算错误，而是审题不清。先梳理题干条件进行核对：·条件是否完备（定义域、取值范围、约束）·图形或分式等细节是否遗漏·题目要求的是过程、表达式还是数值，目标是否一致判断标准可以是：别只看对错，先看是否读题完整。若此处有误，后续再完美的答案也不能直接给孩子用。
AI数学论文的批量生产：一位教授的抽卡实验，一小时产出三篇投稿
每日学习：第287天播客：Can AI Learn Mathematical Intuition?今年五月中旬，数学领域爆出一条不大不小的消息：Erdős 单位距离猜想被攻破，而攻破它的不是人类。这是 Erdős 留下的一个组合几何猜想，学界多数人原本以为它是对的，没想到 AI 给出了一个反例构造，把它证伪了。这事让多伦多大学的数学教授 Daniel Litt 坐不住了。Litt 是一位研究代数几何的一线数学家，平日里除了搞研究，最爱干的事就是在推特上点评各家大模型的数学水准，观点迭代速度比模型发版还勤。
生成式人工智能驱动小学数学教学转型的实践路径探析
[摘要]在生成式人工智能技术迅猛发展与小学数学教育迈向核心素养导向的双重背景下，技术赋能已成为破解教学瓶颈的关键途径。本文综合运用文献研究、调研分析等手段，深入剖析了生成式人工智能技术赋能小学数学教育在技术、教师、资源环境及学生四个维度存在的核心问题，据此提出技术优化、教师赋能、资源保障、学生培养四大应对策略，并搭建课堂教学、个性化学习、教研培训三条实践路径。本文旨在为生成式人工智能技术与小学数学教育的深度融合提供实践参考，助力教学质量提升与学生核心素养发展，推动小学数学教育数字化转型进程。[关键词]生成
AI坚持八小时工作制，菲尔兹奖得主却预言人类末日
"一位菲尔兹奖得主预言AI将导致人类灭绝，而同一天，某AI系统却主动选择停止工作。这种强烈的反差，让人一时难以接受。热搜榜上并列着两条新闻：一条是菲尔兹奖得主警示AI可能灭绝人类，另一条则是AI落实了八小时工作制。一位在黎曼流形与拓扑空间深耕一生的数学家，凭借毕生的抽象思维推导出机器智能可能终结创造者，而在同一天，某个AI系统却主动选择了休息，这种巨大的反差让人一时不知所措。先来聊聊这位预言AI灭绝人类的数学家，雅各布·齐默尔曼，38岁，俄裔加拿大籍，2026年菲尔兹奖得主之一。他在颁奖典礼后的发
Astra震撼数学界:AI首次完成可机器验证的形式化证明
8月末，OpenAI抛出一颗重磅炸弹：其全新模型Astra在纯粹数学范畴内斩获十项重大进展，并且每一项均配有以Lean形式化语言撰写、机器可自动核验的完整推导过程。与此同时，一份厚达249页的技术文档同步发布，供任何人下载审阅。说白了就是：AI不仅解出了数学题，还把整个求解流程封装成机器能自动校验的证明文件——正误与否，不由AI说了算，机器来判。这一事件的意义，远远被外界轻视了。不少人对于"AI做数学题"的认知还固化在：让ChatGPT算一道小学竞赛题，它煞有介事地给出错误答案。那顶多叫生成，谈不上证明。
IB数学AI HL斩获满分7分，辅导真的有用吗？
学生小 J发来反馈:"老师不好意思，今天太忙了，最后成绩是7。真心感谢您的指导，不然可能只有6分了。"这个"7分",指的是IB数学AI HL的满分。IB数学分为AA和AI两类，每类都有普通和高阶；分数1-7，7为最高。小 J 选的是AI HL，即应用数学高阶，能拿满分，难度确实很大。小 J 的经历，引发了我对近期IB家长高频提问的思考，今天一次性解答。Q1:IB数学AA与AI如何抉择？A:简单来说——AA侧重理论推导，适合理工、计算机、经济、纯数学方向；AI侧重数据统计与应
陶哲轩警醒全网:AI消化百万论文仍不及人类5个样本!未来20年人机互补大势已定
菲尔兹奖荣膺者、当代数学界泰斗陶哲轩（Terence Tao），近日在一档播客节目中以异常从容的口吻，抛出一番令整个科技界为之震动的预判。这场对话发生在陶哲轩与其子莱利·陶（Riley Tao）参与科学与人工智能研究基金会（SAIR）节目录制的深度交流之中。▲ 社交网络上关于陶哲轩访谈的长评访谈过程中，陶哲轩抛出了一条让AI拥趸与AI忧虑者双双陷入沉默的核心论断："一个人穷尽一生也读不完一百万篇论文，更不可能逐一尝试其中每一项构想。然而今天的AI几乎能够实现这一壮举。""但人类只需浏览五六个数学例题，就能
OpenAI顶级路线图曝光:公开模型早被甩开两代,实验室深处竟暗藏两尊"终极武器"!
假如你认为刚刚体验的 GPT-5.6 就代表了当下人类 AI 的极限水准，那可就大错特错了。就在最近这几天，硅谷 AI 圈的重磅内幕突然被撕开了一角。多位一线独立研究者与半导体行业分析师的消息源接连放出声响，将 OpenAI 深藏于实验室最核心区域的机密规划彻底曝光：我们目前在 ChatGPT 上所能触及的"最强模型",不过是 OpenAI 上一阶段的成果；而在实验室深处，OpenAI 不但早已打造完毕下一代旗舰，连"再下一代"的超大基座都已经训练完成！▲ 社区爆料汇总帖：公开产品仍停留在 Spud 时代
AI推动数学研究迈出关键一步
8月10日这天，Anthropic 发布了一则简短的动态，讲述了一件颇为罕见的事情：一款尚未正式对外公开的研究型 Claude，将黎曼 zeta 函数零点的已知下界，从 41.6% 提升到了 67.2%。这一成果并非为了刷榜或者跑分，而是被正式写入论文之中，经过人类数学家逐行仔细审核，同时借助 Lean 形式化验证工具完成了完整的检验流程。提出这一挑战的是 Anthropic 公司员工 Jarred Sumner，他本人并非数学科班出身。最初，他给模型下达的指令大致意思是：认真尝试一下黎曼猜想。图注：一句
2026数学教育风向标：AI赋能，让数学学习更高效
#AI数学教学#2026教育新趋势#智能教育#中小学数学#数学学习新方法#教育数字化随着AI技术的迅猛崛起，各行各业都在加速革新，数学教育领域也正经历着前所未有的转型。在2026年基础教育研讨会上，一个共识逐渐形成：利用AI打造智慧课堂、培养创新人才，已成为中小学数学教育的关键路径。面对这一变革，家长们不禁发问：AI时代，孩子该如何调整学习策略以适应新形势？传统的数学课往往局限于“教师讲授、学生操练”的模式，千人一面的教学和题海战术难以顾及个体差异。基础差的学生容易掉队，疑难问题无人解答；而优等生则因重复
2026未来科学大奖数学奖揭晓：北大袁新意独揽700万巨奖
新浪科技8月13日早间报道，在今日举行的2026未来科学大奖发布会上，备受瞩目的数学与计算机科学奖名单正式出炉。北京大学北京国际数学研究中心的袁新意教授凭借杰出贡献脱颖而出，荣获该奖项，并将获得高达700万元人民币（约合100万美元）的奖金。 据未来科学大奖评审委员会透露，该奖项是为了表彰袁新意在算术几何领域的开创性工作，尤其是他创立的Arakelov几何算术大性理论，并成功将其应用于解决一致Bogomolov猜想和一致Mordell猜想等重大数学难题。 算术几何是一门利用代数几何手段探讨整数及有理数解问
AI时代，四层约束与学科重要性
在AI时代，不少人认为数学至关重要，毕竟算法和大型模型都依赖于此；也有人强调物理的重要性，毕竟芯片制造和新能源开发都离不开它。然而现实是，数学与物理同样不可或缺，甚至经济、政治、艺术等人文学科也占据着同等重要的地位。这主要是因为，AI时代存在着四重约束，它们共同限制了产业的边界和社会的发展。第一层：数学——是否可行（Can it work?）数学决定了：算法架构、模型构建、逻辑推理以及学习能力。简而言之：AI是否具备真正的智慧。第二层：物理——能否规模化（Can it scale?）物理决定了：显卡、高带
AI速览-2026.08.12|Claude冲击黎曼难题,苹果AI国行版上线
📅 2026.08.12 周三 · Claude单步飞跃25年数学里程碑，苹果AI正式落地中国市场，C919首条国际航线开通🎯 当日关键动态AI4S从“战略愿景”转型为“实际产出链”，技术突破、商业落地、内容监管三条战线同日并行——① Claude将黎曼ζ函数零点比例下限由41.6%拉升到67.2%，单步跨越25.6%，过去37年人数学者仅累积推进0.8%（源自Claude挑战黎曼猜想）② 腾讯今晚发布Q2财报，市场预计营收同比增长9%，官方表示AI投资已开始产生回报，王者荣耀与和平精英强化AI技术运用（
人工智能叩开数学未知领域
假设你眼前矗立着一座被迷雾紧锁的巨峰。一百六十七载光阴里，众多数学家前赴后继地发起攀登，却无一例外地在半途折戟。2026年8月10日，AI企业Anthropic披露了一项特别的实验：他们驱使内部尚未面世的克劳德研究版本去挑战这座高峰——正式尝试论证黎曼猜想。结果并不令人意外，克劳德终究未能登顶。然而令整个数学领域震惊的是，它在攀爬过程中意外开辟出一条前人从未打通的新通道，将人类在这座山峰上的已知探索高度从约四成一的方位，一举推进至三分之二以上。不妨这样理解，把数学天地比作一部恢宏的交响诗篇，素数便是其中最