紀錄一位全端工程師在 AI 與數據轉型上的實戰筆記,分享 SEO 策略、AI 寫作、Vibe Coding 等技術內容
AI
AI 寫程式的成本已經趨近於零,真正的瓶頸變成了信任。同一週裡,Anthropic 生成 1.8 億行形式化證明、微軟用 AI Agent 完成 4 億行程式碼遷移。這篇文章聊聊形式化驗證這波浪潮、Lean 4 的數學賭局,以及為什麼我認為這是工程師的黃金時代。
BY CALPA LIU
十月 27, 2026
發現更多技術洞察、實戰經驗與開發心得
深入探索前端開發、後端技術、AI 應用等豐富內容,持續提升你的技術能力