| GitHub | Thomas Dohmke | 微軟CoreAI | 人工智慧策略 | 開源社群
GitHub執行長Thomas Dohmke宣布將於2025年底卸任，職位不再遞補，組織將併入微軟CoreAI團隊，結束多年相對獨立運作
2025-08-12
Anthropic聊天機器人Claude新增記憶功能，讓使用者不必再重覆輸入已經與Claude討論過的東西，還能搜尋過去的對話紀錄
2025-08-12
| AWS | Bedrock | Guardrails | 自動推理 | AI驗證
AWS推Bedrock Guardrails推理檢查，以形式化驗證降低AI幻覺
AWS宣布Bedrock Guardrails自動推理檢查功能正式上線，官方表示可用形式化驗證技術檢核大型語言模型輸出，驗證準確率達99％，協助開發者降低AI幻覺並提升法遵程度
2025-08-12
| Elastic Logs Essentials | 無伺服器 | 日誌分析 | ElasticSearch | SRE
Elastic推出Logs Essentials無伺服器服務，重點鎖定核心日誌分析需求
Elastic推出Logs Essentials無伺服器日誌分析服務，採用依資料寫入量與留存期計費模式，免自行維運，提供核心搜尋、分析與視覺化功能，助SRE與開發者快速排查跨系統問題
2025-08-11
Google為旗下Finance服務導入Gemini模型能力，挑戰Yahoo Finance與Seeking Alpha等資深對手
2025-08-11
| The Browser Company | Dia Pro | AI瀏覽器
The Browser Company推出每月20美元的AI瀏覽器Dia訂閱服務
瀏覽器新創公司The Browser Company發表基於AI瀏覽器Dia打造的訂閱服務Dia Pro
2025-08-11
| VS Code 1.103 | GPT-5 | Git工作樹 | Azure DevOps | 開發者工具
VS Code 1.103加入GPT-5與聊天檢查點，並強化多分支與代理協作
微軟發布VS Code 1.103，引入GPT-5至聊天功能，新增檢查點快速回復狀態，支援Git工作樹與Azure DevOps遠端索引，並改進終端與代理工具整合，提升開發協作與專案管理效率
2025-08-11
| Google Ads | LLM | 資料標註 | 廣告安全 | Cohen’s Kappa
Google Ads推出新資料篩選與專家標註流程，針對大型語言模型在廣告安全任務上，能將微調資料量縮至原本萬分之一，同時維持或提升與專家的一致性
2025-08-11
