陶哲轩12年预言成真：AI48小时攻克千万数学题；《科学》指出哺乳期多吃牛羊肉提升婴儿免疫力｜本周科研精选
每周，「领研网」都为你挑选近期重要或有趣的学术报道。点击标题即可阅读～生物 · 医学@生物世界生物学的编程语言来了——Proto，让科学家像写代码一样设计生命bioRxiv@环球科学把女性尿液注射到青蛙体内，如果它数小时内产出数百枚卵，就说明她怀孕了The BMJ; PLOS ONE@华盛顿大学医学院你可能比父母那代人老得更快：15万人研究发现，年轻一代生物衰老速度正在加速Nature Medicine@学术经纬母乳的影响或贯穿一生！《科学》：母亲多吃牛羊肉，有望让婴儿“赢”在起跑线Science@生物世
人工智能融入数学教学 教研携手助力发展——我校圆满举办葫芦岛市小学AI数学教学线上研讨会
人工智能融入数学教学教研携手助力发展——我校圆满举办葫芦岛市小学AI数学教学线上研讨会为推动信息技术与学科教学深度融合，探寻人工智能助力小学数学课堂的创新模式，帮助教师更新教育理念、增强数字化授课水平，2026年4月27日，我校圆满举办葫芦岛市小学AI数学教学线上研讨会。本次研讨会采用线上直播方式，吸引全市小学数学教师云端相聚、共同研学，通过优质课例展示、专题经验分享等形式，构建高效、精准、前沿的数字化教研互动平台。课堂增效 技术助力——优质课例惊艳呈现教研扎根课堂，示范带动成长。活动中，我校两位数学骨干
AI错题本公益讲座邀请
AI数学错题本公益课科技 / 创新 / 实时 /社区联合趣带娃公益组织开设 AI 数学错题本实操公益课，手把手教大家用AI拍照整理数学错题、生成变式习题、定制专项试卷，高效解决孩子错题整理难题，减轻家长辅导压力。活动时间：6月30日 9:00-10:30活动地点：社区党群服务中心二楼活动室参与对象：辖区中小学、高中生家长报名提示：1.全程免费，无任何收费项目；2.限 20组家庭，报满截止；3.有意向请联系网格员报名。··· ··· ··END
人工智能的数学软肋
让人工智能解一道算术题，表现得很出色。将题目中的"小明"替换为"小李"，再次让它解答，它却弄错了。为何"小明"变成"小李"，结果就不同了呢？实际上人工智能并非真正掌握了解法，仅仅是过往阅览了海量相似的题目，依靠记忆拼凑出结果。这揭示了人工智能的核心特征：精于总结归纳，弱于逻辑推演。人工智能解算术题，依赖的是"见过"，而非"领悟"。你变换个人名，它就迷茫了，因为它并未真正明白题目的内在逻辑。然而人类才是真懂。只要
AI专业还能冲吗？别被名字骗了
2026年高考志愿填报即将开启，人工智能相关专业已连续三年成为热门报考方向。近年来，开设AI专业的高校持续增加，具身智能、脑机科学等新兴方向陆续登场；就业市场却两极分化：大厂AI岗薪资仍具吸引力，但竞争日益激烈。对高考生而言，这是一次关键选择：作为AI在读生，我想说：AI的红利仍在，但已不再是“选了就能高薪”的被动红利。如今这条赛道更像：高回报、高波动、高自律要求的专业。能否受益，不取决于你专业名称是否含“人工智能”，而在于大学几年是否真正打磨了数学、编程、项目、表达与探索能力。很多人报考前幻想的大学生活
2026清华附中AI实验班招生指南：家长必知重点
点击蓝字关注我们这里是青少年信息学编程服务站清华附中人工智能实验班由海淀区教委与清华大学联合举办，每年面向全区新初一学生择优选拔约180人，课程在清华校园与附中同步开展。2026年招生预计7月初启动。众多家长关心入学方式、课程内容及升学价值。小U整理了核心要点，供参考。01清华附中人工智能实验班是什么？该班由海淀区教育两委与清华大学联合主办，海淀区教育科学研究院、清华大学计算机系、清华附中共同实施，旨在培育人工智能领域拔尖人才，探索“大中衔接”育人新路径。课程安排在周六及寒暑假，不影响正常学业。项目自20
AI融教铸三维，名师聚研谋新篇——北辰区小学数学名师工作室第八期研修纪实
AI赋能小学数学名师工作室研讨课堂融合研为本技术赋能行致远2026年6月23日，"AI赋能小学数学名师工作室" 第8次线下集中研讨活动在北辰区教师发展中心顺利举行。本次活动由工作室主持人邵文生老师策划组织，全体工作室成员齐聚一堂，共赴一场兼具理论深度与实践效度的研修盛宴。工作室核心优势工作室最大的特色与核心优势，在于将"教学研究、技术支持、科研提炼"三项业务有机融合，形成了完整的专业闭环。 在人工智能与学科教学深度融合的探索中，工作室始终遵循 "实践—技术—科研" 三位一体的工作逻辑：一线教学研究确保AI
OpenAI破解八十年数学难题：单位距离猜想终被推翻
1946年，数学家保罗·爱尔特希在《美国数学月刊》上发表了一篇简短的文章。他在文中提出了一个问题。问题的具体内容我稍后再详细解释，你只需先了解两点：其一，他随手给出了一个最为朴素的答案——如同在方格纸上绘制点阵一般，极为简单。随后他推测，或许最优情形也不过如此，难以更进一步。其二，八十载光阴流逝，无人能够证伪，亦无人能彻底证实。无数代数学家前赴后继。有人自上而下——试图证明"至多达到此数"，却止步不前。有人自下而上——试图构造出优于爱尔特希的方案，同样陷入困境。四十年前曾有人将上限略微推进，此后便再无进展
【集团动态】以学生为本深耕学情分析，智能技术助力教学增效——2026年跨校教学研修活动（数学组）
教育之路，步履不停。带着求知与探索之心，美侨教育集团开启跨校听课学习之旅，走出固有课堂，观摩优秀范例，在交流碰撞中，找寻教学新灵感。首先是英州初级中学的邓晓慧老师授课，老师授课内容围绕理解全等图形概念，体会图形的基本变换（轴对称、平移、旋转）与全等的关系展开，准确识别全等三角形对应点、对应边、对应角，掌握相关性质并能进行简单推理计算。 通过课本例题、课堂练习巩固几何直观能力；分层提问兼顾不同学生。第二节由海南华侨中学美丽沙分校黎健老师进行授课，在教学设计上，黎健以轴对称、平移、旋转进行复习导入，结合观察对
陶哲轩十二年前的远见，如今被AI完美印证
事实证明，菲尔兹奖得主有时候也兼职预言家。十二年前，陶哲轩在首届数学突破奖的舞台上抛出了一句预言，被视作天方夜谭：将来有一天，我们或许不再用LaTeX撰写论文，而是使用计算机能理解的形式化语言。那一年，Transformer还没诞生，ChatGPT更是连影子都没有。没想到，回旋镖正中靶心。过去这一年，AI在数学领域突然开始疯狂提速。从OpenAI解决开放问题，到DeepMind批量攻克数学猜想，越来越多数学证明被写进形式化系统，交给计算机自动验证。回望来路，最早看清风向、亲自下场实践的人，就是陶哲轩。十年
人工智能专业门槛有多高？数学编程成关键挑战
四月正值高三学生和家长集中研究志愿的关键时期，近期接触到不少理科生家庭，孩子平时总分表现优异，全家人一致瞄准了近年来录取分数持续走高的热门专业。然而当深入询问孩子的数学单科成绩、逻辑推理能力以及对枯燥代码的接受程度时，许多家长陷入了犹豫，甚至开始重新审视当初的选择。在决定报考这个热门方向之前，必须正视一个核心现实：该专业的课程体系极具挑战性，对理科基础的严苛程度远超一般工科专业，绝非仅凭一腔热情就能轻松应对。首要难题在于极高的数学要求，众多新生怀揣期待踏入大学校门后，才恍然发现人工智能本质上属于应用数学的
数学与AI的奇妙相遇：小学生的创意启蒙之旅 ——陈景润科学基金会六月活动精彩回顾
数学邂逅人工智能开启数学的多彩视界陈景润科学基金会六月公众日数学并非单调的公式堆砌，人工智能也不是高不可攀的尖端技术。当孩子们意识到，AI的每一个“智慧”表现，背后都是数学在闪耀——探索的萌芽，便静静生长。2026年6月14日下午，陈景润科学基金会“数学万花筒”系列公众日之《未来AI小创客的数学启蒙课》，在厦门顺利举行。本次活动特别邀请福建师范大学副教授、硕士生导师曾晶老师，通过情景模拟+趣味挑战+动手实践的方式，引导孩子们实现了从“学习数学”到“应用数学”的思维跃升。数学万花筒·连接的广度当基础知识对接
人工智能数学根基互动演算平台
可视化动态 AI数学根基 互动演算系统https://math4ai.yanzao.netAI数学根基自主研习是一款自主研习工具。项目将 AI 的数学根基、信息论与人工智能的知识架构整合为可浏览、可追踪进度、可互动演示的 Web 应用。目前涵盖 7 大内容模块：微积分板块已完备：线性代数板块已完备：概率论板块已完备：数理统计板块已完备：最优化板块已完备：信息论板块已完备：AI Research & Do
数统学院开展“人工智能助力教学实践”主题沙龙
2026年5月18日至22日，我校教师代表在高校教师发展中心组织下，参与了由北京师范大学与韩山师范学院合办的“高校教师AI赋能教学实践与创新高级研修班”。为拓宽研修成果辐射范围、推动教学创新心得互通，6月14日下午，数学与统计学院于东区行政楼318室举行“AI赋能教学实践”主题教学沙龙。此次活动由参训教师肖刚、林伟华、刘敬华、朱天翔四人共同主讲，学院师生积极参与。沙龙开场，肖刚院长代表受训团队简述了在北京师范大学珠海校区的研修体会。他表示，为期五天的培训“非常过瘾”——绝非纸上谈兵，而是实操演练提示词、运
数学铸魂AI，AI赋能数学 | 奇点科学盛会邀您入局
1945年，范内瓦·布什向罗斯福总统递交了一份重塑人类轨迹的文献——《科学：无尽的前沿》（Science,the Endless Frontier）。该报告不仅构筑了美国战后科研体制的根基，更向全球昭示了一种信仰：科学探索永无止境，求索之心永不干涸。八十载后的今天，当AI以指数级演进重塑人类认知的底层架构，当数学——这一最古老且纯粹的学科语言与AI在奇点交汇，一幅更为恢弘的frontier 正徐徐铺开。飞鸟实验室深信，这绝非两门学科的浅层拼凑，而是一场互为表里的认知革命——Math for AI, AI