LogiKEy 方法论：利用数学证明助手教授逻辑
LogiKEy 方法论以经典高阶逻辑（HOL）为通用元逻辑，通过语义嵌入在单一证明助手（如 Isabelle/HOL）中统一编码多种对象逻辑。该方法已用于计算机科学、数学及哲学混合课程逾十年，通过从命题逻辑到模态逻辑、动态认识论逻辑及义务逻辑的分级示例，帮助学生实验与比较不同逻辑系统。
#编程/信息科技
arXiv cs.AIAI 评分2828 GitHub · AI in 教育AI 评分4242 MYaseenLiaqat/ai-learning-research：AI辅助学习对无辅助保留与迁移影响的研究工具
该仓库提供研究工具，探究AI辅助学习对后续无辅助保留与迁移的影响。实验以Python for循环解题为初始测试床，将学习者随机分配至无AI或受控AI组。当前实现为内部内容/可行性试点，旨在验证协议可复现性，而非确认AI提升学习效果。
GitHub · AI 教育AI 评分1212 Iain Hoggan 个人技术站点：本地 AI 案例与 Linux 教程
Iain Hoggan 在 GitHub Pages 上发布了个人技术站点，包含本地 AI 模型部署案例及 Linux、硬件教程。站点展示了在 2015 年旧 PC 上运行 Ubuntu 和本地 AI 模型的实践，并记录了修复 AI 角色记忆幻觉的过程。
GitHub · AI 教育AI 评分4242 Hy3 主动学习 Agent 开源：将学习目标转化为可审阅计划并持续跟踪
开源项目 Hy3-learning-agent 发布了一个由 Hy3 驱动的主动学习 Agent，能将模糊学习目标转化为可审阅计划，并持续跟踪任务与作品证据。该项目在腾讯犀牛鸟开源人才培养计划中获混元课题第二阶段 Top 3 及第三阶段优秀学生奖。系统包含 48 项应用实验任务与 24 份质量对照记录，支持本地部署与离线评测。
GitHub · AI 教育AI 评分5252 see-ai 发布面向非专业大学生的 AI 入门开源课程
see-ai 发布了一套面向非专业大学生的 AI 入门开源课程，包含 10 条轨道和 76 节课，重点解决非程序员如何实际使用 AI 完成作业、论文等任务。项目提供无需 API Key 的离线提示词练习场，通过本地规则引擎对 12 个真实场景进行打分反馈，并包含 45 条提示词库和 68 个术语表。此外，系统具备每周自动抓取 AI 圈热词的功能，仅展示候选词与出处，不生成机器解释。
arXiv cs.CLAI 评分4242 CodeInsight：用于建模迭代问题求解的数据集
研究团队构建了 CodeInsight 数据集，包含 2 个 C++ 课程中 3,286 名本科生提交的 300 多万份代码。基于该数据集建立的基准测试显示，适配的 Recurrent State Space Model (RSSM) 在四个课程中的三个取得了最强的预测准确率。代码和数据集已公开，以支持未来研究。
Frontiers in Education精选AI 评分6565 跨国生成式AI使用中的“接入-转化”差距：低收入国家学习者更难将AI用于学习
一项涵盖166个国家14,653名计算机科学学习者的研究发现，生成式AI的普及率在各收入水平国家间差异不大，但低收入国家的学习者将日常AI使用转化为学习用途的可能性显著更低（优势比0.49）。研究提出“接入-转化差距”概念，指出数字鸿沟已从物理接入转向使用转化，且缺乏经验是阻碍转化的主要条件，而非收入本身。
推荐理由：研究基于166国1.4万样本，指出低收入国家学习者AI使用转化为学习行为的概率显著更低，揭示了数字鸿沟的新维度。
GitHub · AI 辅导AI 评分3838 Concrete：面向 STEM 学科的本地优先 Markdown 学习工作区
Concrete 是一款本地优先的 Markdown 工作区，专为 STEM 学科学习设计，支持将笔记转化为主动练习。用户可基于当前笔记生成多选、填空及代码题，并通过 Tutor 模式获取基于材料的解释。该工具支持连接 Codex 或 Claude agent 工作流，并允许在隔离沙箱中执行 Python 代码片段。
EdSurge · AIAI 评分4242 编程如何培养深度公民参与
一位教师将编程教学与公民参与结合，指导学生开发纪念伯明翰黑人先驱的交互式 iOS 应用。学生利用 Swift Playground 构建包含人物传记、趣味事实及数字档案的四屏应用，并借助 Gemini、Claude 和 ChatGPT 辅助历史研究。该项目旨在通过跨学科学习，将技术技能转化为社区叙事与公民行动的工具。
Frontiers in EducationAI 评分4242 语音研究作为 STEAM 跨学科教育的创新模式：从声学分析到教学实践
该研究提出将声学语音学融入 STEAM 教育的创新跨学科教学模型。在英语课堂试点中，30 名七年级学生利用 Praat 进行声学分析，并基于 Python 构建 Random Forest 分类器，通过 6 名学生的录音数据探究说话人声学特征差异。该模式结合物理模型与 AI 算法，旨在通过科学探究提升学生的数字素养与跨学科能力。
Frontiers in EducationAI 评分5252 基于 AI 分析与专家评估同步的编程知识多因子评估模型研究
该研究针对生成式 AI 普及带来的编程评估挑战，提出包含功能正确性、解释质量和 AI 使用水平的多因子评估模型。研究涉及哈萨克斯坦三所大学 187 名本科生，对比了 GPT-5.2、Claude Opus 4.5 和 Gemini 3 在基线（仅功能正确性）和多因子条件下的评估结果。
arXiv cs.CYAI 评分4242 面向未来工程师的 LLM 可扩展工作坊
一项面向工程硕士的可扩展游戏化工作坊，让 226 名学生在 10 次课程中通过移动 Web 界面为非推理和推理 LLM 编写提示词，解决网格导航任务。系统提供机器人可执行计划、轨迹可视化及自动评分，并在 Boston Dynamics Spot 机器人上进行现场演示。问卷显示 81.5% 的学生报告有显著学习收获，91.0% 报告高参与度。
GitHub · AI 教育AI 评分1818 Agentic AI Academy 开源课程发布
Agentic AI Academy 发布开源课程，提供从设计到生产的全栈 AI 智能体工程实验室与参考架构。该体系包含 104 个跨 8 个领域的专家合成基准测试用例，支持 OpenAI、Anthropic 等提供商的 Provider-neutral 运行时。项目采用 30% 理论、50% 实施、20% 反思的学习路径，旨在培养具备安全、治理及可观测性能力的 AI 工程人才。
GitHub · AI 教育AI 评分4242 Second Mind：开源 Canvas 课程学习助手
Second Mind 是一款开源学习助手，支持同步 Canvas 课程资料、本地转录讲座并生成带引用的问答。该应用目前处于早期开发阶段，仅支持 macOS，需配置 OpenAI 或 DeepSeek API key。
GitHub · AI 教育AI 评分4242 ai-xuexuele 发布：面向中小学生的本地部署互动自学应用
ai-xuexuele 是一款面向中小学生的本地部署互动自学应用，包含 670 节课、18 个学科及 3905 道题，覆盖小学至高中全学段。应用采用“课本式讲解+参数互动演示”模式，AI 仅用于独立答疑，支持错题闭环与间隔复习。技术栈基于 Vite 7 与 React 19，通过 209 个单元测试验证，确保 670 课 0 错误。
GitHub · AI 教育AI 评分3333 AI Architect Academy：基于 Claude Code 的 AI 架构学习平台
AI Architect Academy 是首个支持 coding-agent 原生交互的学习平台，用户通过 Claude Code 在终端内构建 AI 系统。平台包含 3 个交互式实验，涵盖修复 RAG 管道、构建多智能体系统及开发 MCP Server，并配备 23 项自动激活的专家技能。
Google for Education精选AI 评分6262 高校教师用 Gemini 替代传统编程测试，通过口头面试评估学生 AI 协作能力
一位高校教师将数据挖掘课程的编程测试替换为关于学生如何使用 AI 解决问题的真实对话。学生使用 Google Colab 中的 Gemini 作为个人导师，需对 AI 建议的代码和替代方案进行判断、质疑并论证最终建模决策。教师通过口头面试让学生辩护其选择、排查问题并识别 AI 建议中的错误，同时利用 Gemini Canvas 和 Gemini Notebook 进行大规模评估。
推荐理由：展示了如何用 Gemini 替代传统代码测试，通过口头面试评估学生对 AI 建议的判断力，为 AI 时代的编程评估提供了可迁移方法。
arXiv cs.CYAI 评分4545 数据标注作为教学提示：从主观标签到批判性思维
荷兰 Fontys 和丹麦 IT University Copenhagen 的研究表明，手动数据标注任务能有效提升学生对标注主观性的理解。43 名参与者在标注皮肤病变图像后，对偏见和公平性的理解优于传统讲座。尽管存在情感不适，该活动仍被证实能帮助学生认识到人类判断对模型行为的影响。
GitHub · AI 教育AI 评分1010 agentic-ai-mentorship-program 开源项目
RafaelC22V 在 GitHub 开源了 agentic-ai-mentorship-program 项目，采用 MIT 许可证。该项目基于 Python 构建，集成 FastAPI、ChromaDB 和 Pydantic，支持 RAG、多智能体系统及提示工程。
GitHub · AI 教育AI 评分4242 GenAI Learning OS 开源：通过产品决策学习 AI 的交互式平台
GenAI Learning OS 是一个开源项目，主张通过产品决策而非公式入手学习 AI。平台包含 9 条学习路线、7 门 Case Academy 黄金课及 43 条精选视频，涵盖 RAG 预算权衡等旗舰案例。作为纯前端应用，它无需后端或模型 API，学习进度仅保存在浏览器 localStorage 中。
GitHub · AI in 教育AI 评分4242 EduTutor：基于 LLM 的硕士数据分析教学智能体
EduTutor 是面向硕士数据分析课程的 LLM 多智能体助手，提供代码预验证与评分草稿支持。系统采用 LangGraph、MCP 及 RAG 架构，通过 Ollama 运行本地 Qwen 模型，并集成 Moodle 5 插件。
GitHub · AI in 教育AI 评分4242 InviteInstitute 发布 VEX Pedagogical Agent
InviteInstitute 开源了 VEX Pedagogical Agent，专为 VEXcode VR 提供教学支持。该智能体通过解析学生代码日志构建情境模型，结合单次 LLM 调用生成反馈。它支持学生主动提问的响应式模式，以及基于行为检测（如卡住、探索）的主动式反馈推送。
GitHub · AI 教育AI 评分5050 the-transformer-drawn：GPT 解码器块交互式图解
the-transformer-drawn 是一个交互式 GPT 解码器块图解工具，通过 10 张蓝图风格示意图展示从 token 到下一词概率的完整前向传播过程。该工具采用 8 维向量、3 个注意力头和 5 词词汇量的玩具模型，所有数值均基于真实计算生成，无需 GPU 或 API 即可运行。用户可调整温度参数、隔离特定注意力头或输入自定义句子，直观理解因果掩码、Softmax 及残差连接等机制。
人民教育AI 评分4242 四川成都青羊区：以城市资源赋能科技教育高质量发展
四川成都青羊区创新提出“两全两创”工作法，构建城市资源赋能科技教育新范式。该区整合区内70%以上城市地标场馆资源，建成28个校内主题博物馆，并联合华为、科大讯飞等企业建立区域AI教育资源共享池。目前全区已建成56间标准化智慧教室，10所学校成为四川省基础教育“网链共享计划”领军学校，优质资源辐射川渝地区205所学校。
GitHub · AI 教育AI 评分4242 masa-san-jp 开源 jp-k12-digital-ai-textbook 日本 K12 数字 AI 教科书项目
masa-san-jp 开源 jp-k12-digital-ai-textbook 项目，旨在为日本小学 1 年级至高中 3 年级提供数字 AI 人才培养教科书。该项目利用 Claude Fable 5 辅助设计，包含 148 个结构化学习目标及全 12 卷初稿，采用 MIT 许可证。
GitHub · AI 辅导AI 评分3535 InferHaven 开源 socratic-pressure-v1 研究：测试 8 个模型在压力下的代码生成能力
InferHaven 发布 socratic-pressure-v1 研究，测试 8 个模型在 12 个 Python 练习和 4 条压力消息下的表现。该研究旨在评估 AI 导师在压力下回复的代码能否通过练习自身的测试。代码采用 Apache License 2.0，数据与结果采用 CC BY 4.0 许可。
芥末堆精选AI 评分9191 河南印发实施意见：2030 年全省中小学全面普及 AI 教育
河南省教育厅等四部门联合印发《关于推进中小学人工智能教育与应用的实施意见》，提出到 2030 年全省中小学全面普及人工智能教育。文件规定义务教育阶段 1-2 年级融合开设，3-8 年级并入信息科技课程，9 年级纳入校本课程，普通高中并入信息技术必修课程，每学年不少于 10 课时。
推荐理由：文件明确了分学段课时安排与禁止替代作业的红线，为地方推进中小学 AI 教育提供了具体执行框架。
GitHub · AI 辅导AI 评分4040 MasteryTrace 发布：支持 BKT 与 IRT 模型的 AI 辅导 CLI 工具
MasteryTrace 发布为 npm 和 pip 双平台 CLI 工具，实现 BKT 和 2PL IRT 两种心理测量模型。该工具无需服务器或数据库，单核处理 100,000 个事件耗时不足一秒，并提供 MCP 服务器供 AI 智能体直接调用。
Traci PiltzAI 评分1515 Adobe Express 助力师范生创意实践
这些 @AdobeForEdu 项目是让我的师范生学习如何使用 @AdobeExpress 并练习提示词写作与创造力的绝佳方式。🙌🏻 在你的免费 Adobe Express 教育者账户的“活动”选项卡中找到这个引导式项目。💖
教育技术自留地AI 评分4242 EdTech 教育技术导航：从国家制度到课堂实践的七层学习地图
EdTech 教育技术导航收录近千条网址，构建从国家制度到同伴经验的七层结构，帮助初学者定位学习路径。该站点基于 WebStack 和 Jekyll 开源方案，通过 GitHub Pages 实现零成本部署，旨在以策展方式解决资源过载下的秩序缺失问题。
AI for K-12 InitiativeAI 评分55 AI for K-12 介绍 LCMCISD 教育者
认识一下来自 LCMCISD 的教育者！@weteachcs
CSTAAI 评分1818 CSTA：AI时代编程教育评估新标准
问题不再主要是“学生是否写出了可运行的代码？”，而是“学生能否验证、解释、调整并捍卫它？” 阅读 Shreyas Rane 在 The Voice 上的完整文章：https://bit.ly/4gwDXyu #AIEducation #CSEd
GitHub AI 教育开源精选AI 评分4242 课溯 v0.3.0-alpha.4 发布：本地优先的课堂录音转写与复习工具
课溯 v0.3.0-alpha.4 发布，提供 Windows、Linux 和 macOS 桌面安装包。该应用采用本地优先架构，通过本地 ASR 将课堂录音转为可追溯的复习重点，支持回听原音核对。Qwen3-ASR 模型需单独下载约 4.6 GB 的 CUDA Runtime，Linux 和 macOS 的本地 ASR sidecar 仍待验证。
教育技术自留地AI 评分3333 剪映（CapCut）与即梦AI官网、帮助手册及开发者文档汇总
该汇总整理了剪映与即梦AI的官网、内置帮助及火山引擎开发者文档。即梦AI支持Seedance2.5模型生成最长30s视频，并提供Agent模式自动拆分镜头。文章还梳理了深圳市脸萌科技旗下醒图、轻颜相机等产品的资源入口，以及面向创客教师的“豆包+即梦+剪映”完整教学工作流。
GitHub · AI 辅导AI 评分1212 CodeGym AI：基于 Next.js 和 Gemini 的 AI 编程练习平台
CodeGym AI 是一个基于 Next.js 构建的 Web 应用，利用 Google Gemini 提供动态编程练习体验。该平台支持 Java、Python 和 C 语言，具备 AI 生成题目、即时代码执行、质量分析及对话助手功能。项目使用 Firebase Studio 启动，需配置 Gemini API key 即可在本地运行。
GitHub · AI 辅导AI 评分1818 TS Learn Path：基于 TypeScript Handbook 的 AI 辅助学习工具
TS Learn Path 是一个开源 TypeScript 学习仓库，将官方 Handbook 转化为 28 个实战练习，并集成本地进度追踪器。该工具提供适配 Cursor、Claude 等 AI IDE 的导师规则，强制 AI 仅提供提示而非直接答案，支持通过 npm 离线运行。
CSTAAI 评分1818 CSTA 介绍高中 AI 工具应用案例
认识 #ResponsibleAI 研究员 Lisette Antigua，她是一名高中计算机科学教师，将 AI 工具引入课堂，以帮助学生完成高年级毕业设计。 阅读她在 The Voice 上的完整简介：https://bit.ly/3U1XldG
TechCrunch · EdTechAI 评分3838 Imagi 融资 450 万美元，利用 Lovable 帮助 K-12 学生安全学习 Vibe Coding
Imagi 完成 450 万美元种子轮融资，旨在帮助 K-12 学生通过 Lovable 平台在安全护栏下学习 Vibe Coding。OpenAI 提供 100 万美元额度支持学校免费使用该工具，且系统符合 COPPA、FERPA 和 GDPR 规定，确保零数据保留。
One Useful ThingAI 评分4242 选择保持人性：AI 写作与学习中的认知挑战
过度依赖 AI 写作会削弱人类思维发展，导致“认知投降”。土耳其高中实验显示，使用 ChatGPT 做作业的学生考试成绩反而低于无 AI 组。相比之下，台北的 AI 导师通过个性化辅导使学生最终考试成绩提高 0.15 个标准差，证明 AI 辅助思考优于直接提供答案。
教育技术自留地AI 评分1212 我用 SOLO 搭建了一个奶盖幸运点名小程序
作者利用 SOLO 工具搭建了一款名为“奶盖幸运点名”的微信小程序。该应用采用沉浸式奶粉盖转盘设计，支持一键随机抽取人名，旨在以软萌治愈的画风替代传统死板点名方式。