陶哲轩：数学2.0时代已至，AI让数学证明从稀缺走向泛滥
菲尔兹奖得主陶哲轩发文宣告数学2.0时代已至：AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他提出数学研究应减少对抢先生成证明的强调，转向解释、评审与知识整理，并透露其参与创立的SAIR基金会将很快发布面向日常研究需求的开放数学模型。
#教育大模型
#教育大模型
今日 0 条量子位（AI，覆盖 AI+教育）AI 评分3636
Inside Higher EdAI 评分2828 OpenAI 智能体攻入数学界：数学家称这是一场"占领"
OpenAI 发布数百项新数学发现，此前其智能体用 10,000 个内部 agent 耗时 88 小时，产出据称满足 Clay 数学研究所约 25 年前提出的 Navier-Stokes 方程千禧年大奖难题标准的证明。数学家对此普遍担忧人类数学家的近期成果被未经许可、未加注明地使用，并指出 MIT 等富裕院校能负担前沿模型许可、资源较少的院校则不能，呼吁政府保障高性能 LLM 的公平获取。
量子位（AI，覆盖 AI+教育）AI 评分6060 陶哲轩在SAIR演讲中转向AI减速派，称数学界面临证明消化不良
陶哲轩在SAIR最新演讲中公开呼吁模型公司放慢AI解数学难题的速度，称AI在生成解答和Lean形式化验证上快速推进，但理解、同行评审和写入教科书等后续环节几乎停滞，形成他所说的Proof Indigestion（证明消化不良）。
eSchool NewsAI 评分2222 在 AI 驱动的数字素养教育中，学习者自主性应放在首位
面对 AI 已融入搜索引擎与日常数字工具的现状，学校不应简单禁止，而应把学习者自主性作为 AI 素养教育的基石。文章主张 AI 素养已成为数字素养的组成部分，教育需从小学到高等教育同步调整课程，在保留必要操作技能的同时强化判断、验证与批判性思维。Microsoft CEO Satya Nadella 曾预测 AI 智能体将吸收大量应用功能，让复杂软件通过自然语言界面惠及更多人。
Microsoft Education Blog精选AI 评分2222 高等教育如何用 Microsoft IQ 连接机构智能，释放 AI 优势
Microsoft 推出 Microsoft IQ 智能层，帮助高校把 AI 与智能体接入既有系统和工作流，并在现有安全、身份与合规框架内使用。
Microsoft Education Blog精选AI 评分2222 Microsoft 提出重塑教育与 AI 未来的 5 项基础能力
Microsoft 援引其新研究《Preparing Students for the Future of Work》指出，到 2030 年多数岗位约 70% 的技能预计将发生变化，招聘信息中 AI 素养出现频率约为一年前的 6 倍，66% 的领导者表示不会聘用缺乏 AI 技能的人。
eSchool NewsAI 评分2626 作弊不是问题，而是零和教育体系下的解药
Christensen Institute 的 Efosa Ojomo 提出，作弊并非学校问题的根源，而是学生在以零和思维排序而非培养每个孩子潜能的体系中取得进展的解法。Common Sense Media 调查显示，在使用 AI 的青少年中，63% 表示会从 AI 获取作业答案。文章认为，AI 只是让作弊更易行，真正根源在于教育系统的零和结构。
Tech & LearningAI 评分2222 写作教学中的批判性思维：5 个应对 AI 时代的写作技巧
面对 AI 写作兴起与"假新闻"泛滥，一位写作教师提出 5 项批判性思维写作技巧：评估信息来源与自身偏见、用写作表达新观点而非复述、学会"steelman"对方最强论点、区分因果与相关、以及学会提出正确的问题。作者指出，AI 写作兴起后原创性在学生作业中成为更重要的评判标准，而研究显示这类批判性思维是可以被教授的。
芥末堆（教育科技）AI 评分2222 Claire 筹备“原点学院”：中国第一所 AI 原生学校计划 2027 年落地北京朝阳
国际教育从业者 Claire 正在筹备“原点学院”，计划 2027 年 9 月在北京朝阳落地，被称为“中国第一所 AI 原生学校”。她提出由 AI 承担知识学习与效率，学校重新按时间功能而非课程分类分配学生时间，把释放出的时间交给体育、艺术、哲学必修课与真实项目。她同时主张“反单一、反依赖、反替代、反异化”，要求算法至少保留 30% 空间推送孩子未表现出偏好的内容。
Tech & LearningAI 评分2222 学生能教我们什么：来自 12 个学区关于 AI 使用的学生声音
一位教育工作者在 12 个学区与三、五、八年级及高中学生交流后发现，学生希望学校在使用 AI 批改作业、评估作品或生成反馈时保持透明，并希望获得明确、跨课堂一致的使用规则。学生还想真正理解 AI 如何生成信息、使用数据、出错或反映偏见，而不只是会打开工具。作者建议通过问卷、焦点小组、技术顾问团和课堂反思让学生参与 AI 政策制定，同时培养其 AI 素养。
eSchool NewsAI 评分2020 2026 返校季：塑造今年 K-12 教育的趋势
进入 2026-27 学年，K-12 教育的关注点正从是否采用 AI 转向 AI 在哪里真正产生价值、如何负责任地使用。学区同时面临网络安全、长期缺勤、学生参与度、教师负担和学业差距等压力，并更重视数字无障碍、数据隐私与职业关联学习。多位教育从业者预计，结构化读写推进下三年级阅读可能出现平台期，屏幕时间限制将推动课堂回归面对面教学与项目式学习，CTE 项目也将继续成为政策讨论焦点。
黑板洞察（教育行业研究）AI 评分2222 教培一线观察：传统投流仍如常，如何用 AI 实现增长
教培机构投流预算越来越高、利润却越来越薄，AI 被定位为现有增长体系的「增效补丁」而非替代方案。文章提出「增长型AI」在五个节点落地：线索清洗、试听邀约与到课提醒、课程销售、社群运营与学生陪伴、销售全路径管理。作者称同样投 10 万广告费，用 AI 筛线索 ROI 可比同行高 20%，用 AI 辅助销售转化率高 20%，用 AI 管理销售过程人效高 30%。
EdSurgeAI 评分2222 从祖母的未竟拼布到 AI：Indian Community School 如何守护原住民神圣知识
Indian Community School 教学技术协调员在 2021 年拒绝了一家公司的"虚拟祖先"提案——用 AI 以在世部落长老的故事、声音和智慧训练模型，理由是知识产权承诺含糊、数据隐私零问责、掠夺性提取社区神圣知识。该提案促使她投入 AI 素养、数字伦理与原住民数据主权框架的学习，以守护社区数据。
eSchool NewsAI 评分2626 学校如何建立日常可用的 AI 公平实践
美国各学区正从笼统的 AI 政策声明转向持续的技术审查实践，以应对大语言模型在课堂中的公平隐患。Brookings 学者 Michael Trucano 警告新数字鸿沟正在形成：低贫困学区为教师提供正式 AI 培训的可能性几乎是资金不足学区的两倍。文章提出借鉴 M. Lockwood 公平偏见框架的三步循环：采用前审查训练数据、由人主导的高风险决策，以及识别 AI 检测工具对英语学习者的误判风险。
芥末堆（教育科技）AI 评分1010 教培的最后夏天：GET2026 教育科技大会将于 11 月在北京举办
芥末堆宣布 GET2026 教育科技大会将于 2026 年 11 月 25-26 日在北京新云南皇冠假日酒店举办，主题为“与爱共生，与AI同育：智能时代教育新范式”。文章以黑塞《克林索尔的最后夏天》为线索，借出生人口从 2016 年 1786 万降至十年后 792 万等变化，讨论教育行业从增量走向存量后如何重新理解“生长”。
Tech & LearningAI 评分2222 为什么应停止给学生评分量规：培养新学习的 10 个理由
教育者应重新考虑是否在每次作业前都提供评分量规、范例或分步清单，因为学生可能变得擅长遵循指令，却不擅长自己摸索答案。生成式 AI 让按评分标准生成"合格"作业变得更容易，文章据此给出 10 个理由，主张把量规留到更合适的时机使用，让学生先经历不确定、定义质量并学会提问。
eSchool NewsAI 评分3434 一刀切的屏幕时间禁令解决不了教育科技的真问题
美国儿科学会（AAP）1 月更新数字媒体指南，主张以质量取代固定屏幕时间上限。洛杉矶联合学区已一致投票禁止低年级使用学区配发设备、限制各年级屏幕时间并审计所有教育科技合同，至少 17 个州在推进立法、4 个州已签署法律。作者认为，脱离情境的限时会把模拟实验、自适应互动课等高效教学一并禁掉，学区采购前应先追问独立证据、教师教学法培训与具体学习成果。
Tech & LearningAI 评分2222 有效的 AI 教师专业学习应该是什么样
有效的 AI 教师专业学习不应只展示最新工具，而应从教学需求出发，培养可迁移的知识、信心与技能。专业学习需结合真实课堂场景、按角色和 AI 经验分层设计，并把隐私、安全、伦理、无障碍与法律议题贯穿始终。单次工作坊不足以让教育者掌握所需内容，持续、相关且有支持的专业学习才是关键。
eSchool NewsAI 评分2222 学校如何用整合数字战略构建包容性校园社区
美国近10%居民（约2500万人）英语不熟练，学校需从零散工具转向统一数字生态，让同一条通知经AI翻译后同步触达所有家庭。网站应原生支持无障碍设计而非仅加Google Translate按钮，AI驱动的CMS需应对西班牙语等文本比英语长20–30%的排版问题，Finalsite的Ask AI可让家长用母语提问并即时获得母语回答。
EdSurgeAI 评分3737 在 AI 时代保护学生的认知能力：一位纽约教师的课堂观察
纽约从教 13 年的英语与特殊教育教师发现，学生面对文学分析问题时直接回答"我用 ChatGPT，我怎么知道"，课堂思考明显减少。她将这一现象与认知卸载研究联系起来：Microsoft Research 与卡内基梅隆大学 2024 年研究发现，越依赖生成式 AI 的员工，批判性评估与独立推理越少。
EdSurgeAI 评分2222 EdSurge 播客：作业、账单与 AI 的解法
EdSurge 播客 This Week with EdSurge 本期邀请两位嘉宾，从作业设计与电费账单两个角度审视 AI 进入学校后的真实成本。Michael Hernandez 用 vibe coding 搭建工具，帮助教师设计 AI 难以应付的作业；Mi Aniefuna 则追踪 AI 背后的数据中心开销，追问学区在推进 AI 时是否算过随使用量增长的账单。
黑板洞察（教育行业研究）AI 评分2222 2026全球智慧教育大会 | 科大讯飞聂小林：在实践中迭代，让AI与教育共生发展
科大讯飞联合创始人聂小林在2026全球智慧教育大会上提出，AI+教育应坚持育人为根本、双向赋能共生共进，并以自主可控通用大模型为底座构建教育专属大模型，在真实场景中循证迭代。他援引宾夕法尼亚大学与微软研究院研究指出，AI带来的测验成绩提升不等于真实学习增益，过度依赖可能造成认知惰性。讯飞已落地双师课堂、AI黑板、虚拟科学家及AI课堂实录分析系统等实践。
Tech & LearningAI 评分1818 2026-27 学年教育科技的 5 个预测
一位大学写作课教师预测 2026-27 学年教育科技走向：对技术的反弹情绪将持续，AI 作弊将在本学年见顶后下降，Anthropic 已宣布 Claude 将为生成文本加水印。
Tech & LearningAI 评分1515 Securly CEO Tammy Wincup 谈教育科技 CEO 如何应对市场不确定性
Securly CEO Tammy Wincup 在 EdExec Summit 主题演讲前分享教育科技领导者如何应对市场不确定性。她指出当前数字安全存在两极对话：一边是 AI 技术革命下学区准备师生，另一边是社区对屏幕时间和过度依赖教育科技的担忧。
Tech & LearningAI 评分2222 教育中不应使用 AI 的 4 种场景：测评、头脑风暴、教案生成与邮件
一位教育工作者结合与 Microsoft 教育营销总经理 Matt Jubelirer 等人的交流，列出教育中应避免使用 AI 的 4 种场景：用 AI 批改测评、用 AI 做头脑风暴、用 AI 生成教案主体，以及用 AI 代写邮件。Jubelirer 认为 AI 可用于制定评分标准和出题，但不应用来给人评分，因为需要人的判断；教师 William Henry 也强调教案主体应由教师自己完成。
eSchool NewsAI 评分2222 教师培训需要更多社群支持，而非合规打卡
OECD 的 TALIS 调查显示，仅 38% 的教师在首个教职期间参加过正式入职培训，只有 22% 的新手教师被分配了导师。作者认为教师培训的未来将由三个相互关联的方向塑造：本地化、关系驱动，并由技术提供审慎支持。2025 年一项元分析发现 AI 在教育场景中对学习有积极影响，但其效果取决于实施方式，且 AI 无法替代导师制建立的信任。
黑板洞察（教育行业研究）AI 评分2222 机器人进校潮背后：AI产业正在争夺“真实世界入口”
越来越多原本做工业、科研的机器人公司和具身智能企业正密集推出校园AI实验室、K12课程体系与AI社团方案，把学校当作机器人进入现实世界的早期入口。学校空间标准化、人机互动高频且容错空间大，适合长期部署与数据积累。但当前多数机器人进校仍停留在科技节、展示和特色校建设阶段，设备运维与师资能力不足，教学高度依赖企业。
黑板洞察（教育行业研究）AI 评分2222 教育信息化30年：为什么设备越来越多，老师却越来越累？
中国教育信息化历经30余年，截至2023年各级各类学校互联网接入率达100%、99.5%的学校拥有多媒体教室，但设备普及并未自动消除教育差距，反而从"接入差距"转向"素养鸿沟"。