AI 於教育上的使用

國產模型Deepseek 爆發後,每日都有不同的AI新聞,個個圈子都在發起學習AI,有點似前幾年STEM 熱潮——熱,但不知道方向。好像很火熱,就是無從入手,究竟由哪開始?

AI 在教育上有哪些可以用

  1. 題目:出題,海量題庫生成
  2. 分析:分析學生答案,分析成績
  3. 語言練習:聽讀由AI判斷準確度
  4. 講解:講故事,講題目,可以模擬不同音效
  5. 情緒分析:根據學生與AI的交流,分析學生的情緒
  6. 創作:可以創作APP,圖片 等比較難度大的,根據AI 的指導生成
  7. 行政:根據官方文件自動生成行政文件、編課之類
  8. 教材:根據內部資料生成新的學習資料,AR、VR 教材
  9. 個性化資料:可以根據學生學習進度自動生成相關資料和學習方案(knewton)

認知下的AI

AI 雖然出了很多年,但是每個人的理解都有些不一樣。

有些人覺得AI就是一個機器人,幫你做任何事。

有些人AI就是一個對話機,可以回答你問題。

有些人覺得AI 未必準確,資料亂套

有人覺得AI是一個工具,省事。

其實說來說去,也不知道要說AI是什麼,早到捉圍棋alphago,還有Apple Siri,到了後來chatgpt 爆發。AI 其實已經慢慢融入生活內,不知不覺地在身邊出現,變成一些普通的東西,掩飾AI 面孔。就如iPhone siri,很早就開始懂得聽你指令幫你找東西和控制Home kit,這是一種AI 上的應用,小朋友覺得已經很平凡。但為何後來的Chatgpt 和Deepseek 會火爆呢?個人覺得在大語言模型升級後,算力提升和各種應用相應突破,就如iPhone 出現,打破了Nokia 的世界,各種APP 相應推出,一台iPhone 不再是電話,而是一個強大的工具。

孩子在玩ipad時,他從來沒問我iPad 怎麼安裝app,他好像自己就懂得去找一個可以裝東西的地方,他也懂得啟動,設定,然後根據提示一步步的玩遊戲。這才能是天生的?估計是,人的理解能力。那麼給一個AI 工具孩子,他們可以使用嗎?當然是可以的,雖然有些人很擔心AI會亂來,例如幫還在完成了作業,其實這些工具google 早就有了,豆包的app,siri 也可以回答,孩子的世界他不懂什麼是AI,他要的是答案。既然AI已經在孩子身邊,那麼就是要教他們如何正確的使用,可以的話順便講解一些AI 的一些知識。

其實AI模型也是模仿人類行為,不是所有東西都要教授後才懂得,它在學習人類的『判斷推理』,自我學習,也不是100%正確。

免費的AI 教學 工具

先說一下目前流行的工具,這些工具都是建立在大模型上,反應速度都是相當快,為何之前那麼少見?因為訓練一個大模型是需要億美元來計算,現在大語言模型基本已經成熟,大家的目標都是轉移到推理,訓練,工具,插件等開始落地盈利。

豆包:中文、粵語、英文基本都是懂的,中文能力幾乎是AI APP 中最強大的,估計跟他的母公司(字節跳動)有關係。叫他作詩,出練習題目基本沒有問題,最重要是免費,手機粵語直接語音講就可以。可以跟他說10條什麼類型的題目和答案。還可以直接聊天。

deepseek 、元寶、grok 大模型也有提供對話,個人推薦deepseek,特別是在科學、數學上面,deepseek 提供推理過程,不只是一個答案,在教育上使用非常好,可以演示給學生看AI 是如何推理一個數學題目

canva,提供了教育界免費使用的服務,裡面也有很多AI 的元素加入了,例如Dream lab 可以直接出圖

另外Canva ppt 美觀是無敵的,可以只接搜索使用 canva ai 就能圖文生成。

學習平台

還有其他平台想padlet,quizizz ,edpuzzle之類都相應的加入AI 功能,目的就是為何減少你的時間去作一些題目,取代而之為你直接去選擇,目的是為了節省一點時間,而且可以分析學生答題的時間,edpuzzle 還能根據視頻內容自動產生題目,避免抄襲。

還有語言學習的APP Elsa speak(收費),都是使用AI 來評估個人語言學習進度。

在IT 教育方面,AI coding 比較流行,平台也很多,就算本地也不錯,可以用ollama 和vscode 來作為本地代碼輸出。apple mlx 也提供了框架建立本地模型。

目前有很多應用可以於教育使用,慢慢再列出,目前百花齊放,但是建議還是要先使用,再來檢討成效,因為孩子覺得這些都是跟一些遊戲APP 沒什麼區別,需要家長在使用中進行講解他背後的原理和問題,假如大人都不用,怎麼教育下一代。

AI 在教育的影響

職人員:有些人擔心老師被淘汰,可不能這麼想,老師有AI 能看不到的東西,目前AI 還未智能到一體化(智能體),很多功能還是在應用層面,也就是說,分析試卷,就是分析成績,進度,給題目。作為老師會分析這學生平時的行為和最近的情況,要綜合那麼多因素的理解,是需要把所有資料例如考勤,平時作業情況,都匯入系統才有可能然AI 去識別,但老師不用那麼多數據已經知道,哪怕一句對話,一個神情就知道學生問題。

AI 對教育人員只會提供更多協助,當然工具很多,怎麼選擇是另一個層次的問題,成本也是考慮因素,還有很多法規會相應出台,能否使用學生數據,個人資料,內部資料進行訓練還是目前沒有的東西。但是可以肯定掌握了某些工具,是可以減省一些時間,例如用Kimi 生成個PPT ,你可以減少去找圖去排版,這起碼備課的時間都少了,而且可以吸引學生。

對學生:AI能提供的是無限的資料,因此對學生來說是自主學習一個很好的平台,學生如何通過AI 工具來提升自己能力,不是為了答案,而是在AI協助下解決自己的一些想法,想知道的知識,自己判斷。老師作為學生的引導,AI作為自主學習的工具夥伴。

風險:AI 沒有100%準確,在訓練大模型時已經說明準確率只有一半左右,通過日後的演算慢慢地增加精確度。還有在大模型的微調時也會出現偏於某一方面的能力,導致一些能力失衡,AI會突然失憶,或者變傻,chatgpt 就出現過

技術門檻:文件AI 工具agent 之類還未普及,都在不停地發現新大陸,建立內部大模型成本高,要自己選擇大模型的大小,微調的工具。模型還在不停更新,向量數據庫能否隨之更新還有待技術提升。在百花爭艷的AI 中,就看看學習。淘汰不是老師,而是教育機構,越是逃避,越會被淘汰 。

在世界上的手機、電動汽車、電腦等等,都接入了AI,AI也會像手機那樣平民化實用化,這是無可避免的。

Ubuntu install EXO

1.Install Conda

mkdir -p ~/miniconda3
wget https://repo.anaconda.com/miniconda/Miniconda3-latest-Linux-x86_64.sh -O ~/miniconda3/miniconda.sh
bash ~/miniconda3/miniconda.sh -b -u -p ~/miniconda3
rm ~/miniconda3/miniconda.sh


source ~/miniconda3/bin/activate
conda init --all

2. Instal Driver


lspci | grep -i nvidia


sudo apt install nvidia-driver-550

3.gcc

gcc --version

sudo apt install gcc


sudo apt update && sudo apt upgrade

sudo apt install nvidia-cuda-toolkit

reboot

nvcc --version

4.EXO

git clone https://github.com/exo-explore/exo.git
cd exo
pip install -e .
# alternatively, with venv
source install.sh
exo

後記

在安裝時經常會出現gcc 或者lib錯誤,看了一些網站文章發現是版本太新了,最好還是選擇比較舊的版本,例如cuda 也不要挑最新的12.8。 然後就算安裝完成,成功啟動,不知道為何第二次跑ubuntu 又會出現error,不過最簡單方法就是再執行一次source install.sh,然後再跑exo,又可以正常跑,在macos 跑得流暢,不知道是否ubuntu 問題。

macos 跑EXO

A.什麼是EXO?

EXO 在X算是熱門,就是它可以將macOS/linux Cluster 跑大模型,而且是十分簡單就可以實現,跑出來的效果還相當不錯,幾個重點是:

1.使用mac min 暫用空間小

2.花費電力低,溫度也低

3.連接設備簡單,thunderbolt 完成

4.價格不貴,貨源多,一台mac mini 不到4k,已經可以跑.15b,cluster 幾台已經很快

B. 安裝 miniconda

由於exo 需要python 3.12 以上,而且需要很多東西,個人測試後最簡單還是用conda,方法如下,粘貼到終端機執行就可以

mkdir -p ~/miniconda3
curl https://repo.anaconda.com/miniconda/Miniconda3-latest-MacOSX-arm64.sh -o ~/miniconda3/miniconda.sh

bash ~/miniconda3/miniconda.sh -b -u -p ~/miniconda3

rm ~/miniconda3/miniconda.sh

安裝完成後開啟一個新的終端機(其實沒開也是可以的)

conda init --all

這樣miniconda 就完成安裝了,接下來要安裝MLX

C.安裝MLX

要求macOS 是13.5以上

pip install mlx

conda install conda-forge::mlx

D.安裝git

直接使用conda 安裝git就可以,和pip 一樣

conda install git

E.安裝EXO

git clone https://github.com/exo-explore/exo.git

cd exo

pip install -e .

source install.sh

F.執行EXO

exo

Macos 下的Powershell

用Macos,但是現實逃離不過office,因此還是要部署AD,沒有PC 的情況下想用powershell 還是經常試過,最近測試一下。首先必須有個利器:brew

brew 估計用Macos 的應該熟悉,安裝一些程序時經常會用,開個終端,貼上去就好,說明在這

/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/HEAD/install.sh)"

經常誤會Azure CLI 和 Azure AD Powershell, 之前一直用brew 安裝Azure CLI,結果說我沒Azure 服務,找了資料發現原來Microsoft 365 是用Azure AD PowerShell,走了彎路

brew install powershell/tap/powershell

上面是安裝Powershell 7 , 安裝完敲下pwsh 終於出現Powershell 版本,powershell 成功執行,接下來可以繼續安裝Az Module 了,還是不停下載。詳細說明

Install-Module -Name Az -Repository PSGallery -Force

安裝完成後,馬上連結測試是否能連上AD

Connect-AzAccount
 =

成功的話,跳個網頁出來,登入帳號,powershell 就會出現的公司名了。

接著要打什麼指令呢? 之前文章有寫過批量的更新用戶資料,可以回顧回顧

不過因為指令模組不一樣,用法也有不同,例如列出10用戶

Get-AzADUser -First 10

具體還是要看說明,雖然admin panel 那邊也有網頁終端,不過有時還是開不起來。

模組具體說明

https://learn.microsoft.com/en-us/powershell/module/az.resources/get-azaduser?view=azps-12.2.0

Microsoft Graph PowerShell 設定M365的使用者

發現M365 powershell 又停用了一些,其實真的好煩,網頁界面只能一次更新40位,沒辦法就要繼續學習,看了一下docs,powershell 轉移到Graph,例如之前能用的Set-MsolUserLicense 已經失效,需要使用microsoft graph 來更新。假如你不懂得,可以考慮使用Entra ID 來更新用戶

在 Azure 入口網站 中大量建立使用者 – Microsoft Entra ID | Microsoft Learn

安裝Graph PowerShell

Install-Module Microsoft.Graph -Scope CurrentUser -Repository PSGallery -Force

假如想指定某些 版本也可以使用

Install-Module -Name Microsoft.Graph -Scope CurrentUser -RequiredVersion 2.5.0

成功後就要開始登入進行授權,一般是使用 Connect-MgGraph,不過這樣直接登入只是查詢,基本權限很低,所以要登入並要求更多權限

Connect-MgGraph -Scopes "User.ReadWrite.All","Organization.Read.All","Team.ReadBasic.All"

這樣就成功了,接下來就是更新授權了,我看了一些外國的代碼,高手都寫成script,不過我一年只做一次就不折騰了,還是用csv 更新。有一些欄目名不太一樣,例如UserPrincipalName 換成了UserId,我懶得換原來的csv titile ,就只是命令那邊更換了UserId,csv 那邊title 就繼續使用UserPrincipalName ,在Grphy 這邊可以先看看一個用戶的授權碼,命令如下:

Get-MgUserLicenseDetail -UserId [email protected]

我這次因為要批量去刪除授權,所以就想看了一下賬號有什麼授權,然後就讀取SkuId,然後就只根據csv 的賬號列表去刪除Skuid 資料

Import-Csv C:\rmlic.csv  | ForEach-Object {Set-MgUserLicense -UserId $_.UserPrincipalName -RemoveLicenses "Sukid號碼" -AddLicenses @()}

假如想增加授權就是RemoveLicenses 改成AddLicenses ,後面-AddLicenses @() 改成 –RemoveLicenses @() 就可以了,最後登出Disconnect-MgGraph

可以參考一下外國資料,很詳細,下面是我看的文章:

Manage Microsoft 365 Licenses with the Microsoft Graph PowerShell SDK (practical365.com)

Microsoft Graph PowerShell SDK: User and Group Operations (practical365.com)

還有寫好的Script

GitHub – 12Knocksinna/Office365itpros: Office 365 for IT Pros PowerShell examples

群組

Manage security groups with PowerShell – Microsoft 365 Enterprise | Microsoft Learn

賬號

Create Microsoft 365 user accounts with PowerShell – Microsoft 365 Enterprise | Microsoft Learn

macOS 14 sonoma smb print

smb print 又死了

每次興高采烈升級完系統後,就會聽到同事們的呼救,列印失敗!我說我都沒測試你們又跑在潮流尖端,跟車太貼肯定出事。

apple 討論區貼文

一大群求救信息,每次升級,smb print 都會折騰一番,上一次也一樣(Ventura)

雖然對於為何會每次升級系統都會死了smb print不太清楚,但是起碼我覺得Apple 內部沒有在用smb print,所以他們不知道升級後會死了,然後翻了下文章,又長知識。

PostScript’s sudden death in Sonoma

看來事發不是突然,Apple 估計應該不會繼續下去,使用的人就要換方法了。

如何解決smb print 呢? 方法就是不用smb 啊,直接換成lpd,也許有些人覺得有驗證問題,其實問題不大,首先確保電腦使用者名稱和smb 用戶名一樣,你可以選擇修改macOS user name 跟windows AD user name 一樣 或者修改windows ad username 跟macOS user name 一樣,lpd 發送過去windows AD 後,看到帳號名稱一樣就會自動加入列印隊列,進去隊列了,就是可以解決了,其他如何登入打印機就跟據不同品牌來登入。目前這方法在macos 12.5 後都可以,而且列印也不用輸入密碼,只要去打印機那邊才輸入列印就可以,還是比較方便的。在這也提供script 給有需要的人

#!/bin/sh

#  addprinter.sh
#  Created by Rock on 31/05/2023.
#  First step need to download and install fuji driver 
#  chmod a+x command file
# 
/usr/sbin/lpadmin -p print -L 1F -E -v lpd://192.168.0.1/FILE1 -o printer-is-shared=false -o FXColorMode=Black -o media=iso_a4_210x297mm -o XRFinisher=OF -o XRHolePunch=TruePunch -o XRTrays=FiveTraysHCTT -o XRPrintQuality=Standard -o auth-info-required=negotiate -P /Library/Printers/PPDs/Contents/Resources/FX\ ApeosPort\ C6570\ PS.gz

把檔案儲存為sh 檔案,記得用terminal 輸入chmod a+x ,然後拉這個檔案進去,確認後就可以再拉一次檔案進去再確認一次,就可以安裝了,當然你要提前安裝你的驅動,而且確認路徑,上面Recourse 就是fujifilm 的驅動。

為何macOS 列印會這麼折騰呢,我也不大清楚,就算我買了台brother usb 直接連都不是很順利,最後還是用AirPrint 來解決,是不是開發商跟不上Apple 的步伐呢?