紀錄一位全端工程師在 AI 與數據轉型上的實戰筆記,分享 SEO 策略、AI 寫作、Vibe Coding 等技術內容
AI
AI 寫程式的成本已經趨近於零,真正的瓶頸變成了信任。Anthropic 用 1.8 億行數學證明驗證了 123 個開源函式庫,挖出潛伏十年的 bug。這篇文章聊聊形式化驗證這波浪潮、Lean 4 的數學賭局,以及為什麼「驗證證據」會成為工程師的下一個核心技能。
BY CALPA LIU
十月 27, 2026
發現更多技術洞察、實戰經驗與開發心得
深入探索前端開發、後端技術、AI 應用等豐富內容,持續提升你的技術能力