今日最新

AWS宣布Bedrock Guardrails自動推理檢查功能正式上線，官方表示可用形式化驗證技術檢核大型語言模型輸出，驗證準確率達99％，協助開發者降低AI幻覺並提升法遵程度

上週資安業者Arctic Wolf揭露勒索軟體Akira的攻擊行動，並指出駭客的入侵管道都是透過SonicWall防火牆設備，懷疑是透過零時差漏洞而得逞，對此SonicWall調查後提出說明，駭客使用了一年前公布的SSL VPN重大漏洞來入侵受害組織

Elastic推出Logs Essentials無伺服器日誌分析服務，採用依資料寫入量與留存期計費模式，免自行維運，提供核心搜尋、分析與視覺化功能，助SRE與開發者快速排查跨系統問題

Google上週表明他們其中一個Salesforce系統遭到ShinyHunters（UNC6240）入侵，如今有進一步的消息傳出，此CRM系統存放Google Ads潛在客戶的聯絡資料，駭客疑似開價20個比特幣贖金，換取不將竊得資料外洩

瀏覽器新創公司The Browser Company發表基於AI瀏覽器Dia打造的訂閱服務Dia Pro

微軟發布VS Code 1.103，引入GPT-5至聊天功能，新增檢查點快速回復狀態，支援Git工作樹與Azure DevOps遠端索引，並改進終端與代理工具整合，提升開發協作與專案管理效率

睽違2年半，台積電再次舉辦IT日，不只揭露過去幾年數位轉型成果，涵蓋智慧製造、聰明維運、現代化工作模式、數位供應鏈，到現代化IT技術架構。下一階段的主題是加速，要更廣、更深地善用數位科技，讓台積更快進步，全面邁向數位卓越。

美國總務管理局GSA宣布與AWS簽署合作協議，AWS將提供10億美元的免費額度，推動各個聯邦機構的雲端採用、現代化以及教育訓練

如何打造出一隻成功的AI服務，台積IT有一套自己的心法，先思考成功定義，釐清商業目標、跨職能團隊協作，再搭配一套AI開發平臺來執行

全球化製造的三大難題，專業知識交換挑戰、跨語言和文化的理解門檻，新人培訓和上手成本昂貴，台積IT要用生成式AI來因應，關鍵就是要打造一套具備半導體專業知識的知識管理，關鍵做法大公開，超長文但值得完整看完