一名 CS 學生撰文：AI 正讓大學課程變糟
一名靠獎學金就讀計算機與 AI 專業的本科生撰文稱，AI 正在拖累他的大學體驗：學校在“強制用 AI”與“禁止用 AI”之間反覆搖擺，同一門課前後要求相反。Claude 生成的作業說明錯誤頻出，工作量漲到原來的三倍，講師與助教因“規模化”壓力更加超負荷，學生只有久未登入門戶時才會因資料看板標記而被聯絡。文章是個人經歷陳述，未提及具體院校與資料。
原標題：AI is destroying my CS degree
閱讀原文
| 評分 | 42 / 35（平均 38，門檻 76） |
|---|---|
| 狀態 | 未入選 |
相關報導
計算機教授：AI 時代仍值得學程式設計，但初級程式設計師必須親手寫程式碼
蒙大拿州立大學計算機教授 Carson Gross 在《Yes, and...》中回答“AI 時代還該不該學程式設計”：應該，但初級程式設計師必須親手寫程式碼。他認為 AI 能生成作業程式碼，但若因此不寫程式碼，就難以讀懂程式碼，可能造出自己無法理解和控制的系統；AI 更適合當助教，他給學生提供 AGENTS.md 來把編碼代理配置成助教。他同時判斷，未來寫程式碼本身的相對價值會下降，清晰溝通與理解業務會更重要。
HN 討論：AI 讓人產出更多，卻也更容易疲憊
Hacker News 上一條 Ask HN 帖子的作者稱，AI 雖然讓產出變多，自己卻比過去更累。他把原因歸於需要並行跟進多件事、閱讀大量生成文字，以及不斷的護欄檢查、決策和上下文切換帶來的過載。他向社群徵集在不加重心理負擔的前提下繼續用 AI 的方法，該帖獲得 32 分、12 條評論。
菲爾茲獎得主 Borcherds 因學生普遍用 AI 不再批改作業
加州大學伯克利分校數學教授、菲爾茲獎得主 Richard Borcherds 已不再為作業評分，只要學生提交即記為完成。原因是太多學生使用 AI 穩定拿到滿分，他認為花錢請助教批改正確性已沒有意義，且 AI 使用已無法迴避。他坦言這套做法並不好，但眼下別無選擇；伯克利測試過 Turnitin、Rumi 等 AI 檢測工具，認定不足以全校標準化，課程層面的 AI 政策由教師自行決定。
達特茅斯教務長因未披露論文 AI 使用辭職
曾撰文討論高校 AI 作弊問題的達特茅斯學院教務長 Santiago Schnell 本週辭職。顧問委員會認定，他在一篇學術論文和 8 月 9 日《華盛頓郵報》專欄中大量使用 AI，卻未按出版方要求披露。委員會調取了他通過學校使用的 Claude 企業帳號，記錄顯示他用其修改論文、查詢並修復程式碼 bug、編輯和生成圖表；他未交出個人 LLM 帳號的相關日誌，也拒絕與委員會會面，報告稱其配合不足。
評論：AI 借 Lean 寫數學證明，不讀 AI 程式碼漸成常態
一位電腦科學家在這篇評論中指出，AI agent 結合 Lean 等互動式證明助手，正在把希爾伯特百年前設想的「證明機器」變為現實，其對數學界的衝擊甚至超過希爾伯特綱領的失敗。他同時警告，程式設計領域已把不讀 AI 生成程式碼當成常態；而在 Curry-Howard 對應下程式與證明本質相同，放棄閱讀就等於放棄理解。他主張像數學家反覆簡化 AI 證明那樣，用抽象、重構與更高層語言把程式碼簡化到能裝進腦中。