電腦中隱藏的巨人：為什麼 ChatGPT 應用程式內建了 LibreOffice？
探討近期發現的 ChatGPT 桌面應用程式中 1.7GB 的巨大套件，以及隱藏其中的 LibreOffice 與開發工具。
Tag: 軟體
AI 能否看透編碼中的「贅肉」？「精實軟體擴展法則」的登場
這篇文章將深入淺出地解釋 AI 模型如何理解更大規模的軟體程式碼並使其更加安全，以及「精實軟體擴展法則」（Lean Software Scaling Laws）的研究內容。
從數學證明到代碼驗證，AI 也能檢查邏輯？Mistral 公開「Leanstral 1.5」
深入了解 Mistral 推出的全新開源模型 Leanstral 1.5，這是一款能自動驗證複雜數學證明與軟體代碼錯誤的 AI。
人工智慧
代理式編碼
AI 自動編碼時代來臨，為何專家警告這是個「陷阱」？
深入淺出地解釋 AI 代勞開發軟體的「代理式編碼（Agentic Coding）」之優勢，以及隱藏在其背後的「技術債」這一致命風險。