教育科技研究速報

本研究透過概念圖分析大學生對生成式 AI 的認知結構，發現其知識多停留在表面層次。

提出 FORAP 框架與 14 個專案包，旨在降低教師負擔並解決學生在計算機教育中實施 PjBL 的技術障礙。

本研究提出利用 LLM 生成情境化設計問題，有效彌補傳統專題評估難以捕捉高階思考與知識遷移能力的不足。

研究證實透過虛擬麵包板技術進行遠端 FPGA 實驗，能有效轉化實作課程並提升學生符合產業需求的模擬驗證技能。

本文介紹了一種透過虛擬麵包板介面遠端存取實體 FPGA 硬體板的教學方案，以解決遠距教學中的硬體實驗挑戰。

開發一款無需安裝的瀏覽器工具，透過「學習-匯出-分析」循環，讓學生從數據分析中理解強化學習原理。

研究發現生成式 AI 的出現使長達數十年的單人作者趨勢停止並部分逆轉，顯示 AI 正在取代部分科學研究勞動。

本文介紹 AIM-PRO 計畫，提出利用教育數位分身技術來模擬、監控並優化不同學習階段的 AI 素養教育。

開發了一種名為 Critsly 的 AI 工作空間，透過感知設計物件與結構化反思，將 AI 從單純的對話工具轉化為協作評論夥伴。

本文介紹 ProofCouncil，一種採用作者-評論者架構的數學代理系統，能自主解決真實世界的開放性數學難題。

開發了一套開源系統 OpenProver，透過 Planner-Worker-Verifier 架構結合 LLM 與 Lean 4 進行自動化定理證明。

本文提出一種將數學家指導 AI 進行 Lean 4 形式化證明視為「策略遊戲」的新方法，並成功完成 Vlasov 方程式的證明。