AI 證出數學定理，Lean 4 逐行機器驗證
AI 拿奧數金牌很亮眼，但那是自然語言、靠人工評審判對錯。用 Lean 4 逐行驗證的證明才解掉了難題：不用人幫忙也知道它是對的。這才是 AI 可信度第一次有的工程解法。
所有文章（1175）
ASIC晶片出貨衝109%超車GPU，世芯喊到6200元
為什麼雲端巨頭寧可自己設計晶片也不多買 GPU？答案不在演算法，在電費。當每瓦效能變成天花板，專用 ASIC 就贏了，而台灣卡的是設計服務這道別人繞不過的工序。
牙齒會再生嗎？健保洗牙多少錢、超音波洗牙費用
牙齒與牙齦被破壞後不會再生，這正是定期洗牙的意義。健保洗牙每半年一次，多數只需掛號費150到200元；超音波洗牙的自費費用約400到1000元。文章釐清超音波洗的是牙結石不是琺瑯質，牙縫變大、流血多半是原本被結石塞住的縫露出來、牙齦消腫，不是洗壞了。
柯達遭駭220萬筆外洩 ShinyHunters鎖定第三方整合
柯達承認外部人士短暫存取有限資料，ShinyHunters 卻喊 220 萬筆。兩個數字對不起來，但真正該記的是攻擊鎖定的位置：第三方平台整合的信任鏈。
Gemini 3.5 Pro 200萬token脈絡：哪些場景真的有用
200 萬 token 是量產最長脈絡，但廣告脈絡不等於可用脈絡。長脈絡真正划算的只有幾類場景，其餘知識庫問答用 RAG 更省更準。這篇給一個先分清楚任務類型的選型判準。
微軟單月修200個漏洞創新高：AI正在拉低找漏洞成本
200 這個破紀錄的數字不是新聞重點，它為什麼會破紀錄才是。找漏洞的成本被 AI 拉崩，企業該改的不是修補手速，是那套假設漏洞會慢慢來的排程。
英國前議員維德康住家遇害 警方列謀殺調查、26歲男子獲釋
英國前保守黨議員、改革英國黨發言人維德康在達特穆爾住家遇害身亡，警方列謀殺案調查，一度逮捕又釋放一名26歲男子，各界政壇人士紛紛表達哀悼。
碳費基金添新用途：貸款信保與利息補貼助企業減碳
環境部7月7日預告修正「溫室氣體管理基金收支保管及運用辦法」第4條，新增基金可用於辦理事業執行溫室氣體減量、氣候變遷調適的貸款信用保證及利息補貼，暫訂編列5億元支應；另編列17.1億元補助事業與地方政府減量工作。
AI agent各自為政：Cognizant接ServiceNow做統一編排
企業手上不缺 agent，缺的是有人把它們統一中控。但『統一到單一廠商的層』和『一套治理套所有 agent』，可能正好是解錯題的兩種方式。
AI記憶體超級循環：微軟資本支出多付250億
微軟願意在毛利被壓的情況下砸 1900 億、含淚吞 250 億漲價，賭的是 AI 需求撐得住這個成本結構。台灣看這條新聞最容易只讀半邊：不能只看記憶體台廠利多，也不能只看 PC 被壓垮。
MiniMax M3 把智慧成本打到地板：開源權重、百萬脈絡一次到齊
上海 MiniMax 6/1 推出開源權重的 M3，前沿級 coding、百萬 token 脈絡、原生多模態一次到齊，定價只有西方旗艦零頭。但對台灣團隊真正的訊號不是又一個跑分新王，而是自架可行性與選型的成本結構被重寫。
本週警察暖聞：高雄婦逃生梯獲救、北市助失智翁返家
整理高雄市、屏東縣、臺北市警察局公開新聞稿的好人好事：高雄苓雅警循聲尋獲誤入逃生梯的失智婦人、調監視器助民眾尋回化妝包與機車，屏東警安撫走失孩童並協助與家屬團聚，臺北警協助重聽失智翁與拋錨車輛。
AI agent不懂省錢？預算意識該寫進系統設計
你給 agent 一個任務，它把該花不該花的 token 一起燒掉，帳單月底才來。研究發現叫它「省一點」根本守不住預算，那預算意識到底該擺在哪一層？
Anthropic 估值衝上 9,650 億美元、傳機密遞件 IPO 超車 OpenAI：前沿大廠的資本訊號台廠怎麼讀
多數人看到的是估值排名。我看到的是：前沿模型公司正在變成算力與供應鏈的金融槓桿體，估值撐起的其實是一張一張算力預購合約。台廠該讀的是配額流向，不是誰比較貴。
ChatGPT Ads Manager上線：AI助理正式變廣告載體
AI 助理原本值得信，不是因為它聰明，是因為機制上沒有騙你的理由。廣告生意種下的，正好是那個相反的理由。要盯的是誘因，不是那格 banner。
Claude NPO是什麼？Anthropic砸1.5億美元派1000人進駐非營利
為什麼一家前沿模型公司要花 1.5 億去教非營利組織用 AI？把它讀成純慈善會漏掉一半：同一筆錢也在把 Claude 鋪進 400 家組織的日常，順便養一批以 Claude 為工具母語的早期職涯人才。
Together AI是什麼公司？估值83億美元一次看懂
為什麼投資人搶的不是下一個大模型，而是一個租 GPU、代管開源模型的平台？因為開源模型正在把模型本身變成商品，價值移到了『誰能把它跑起來』那一層。
颱風假7月10日停班停課10縣市，7月12日僅剩5區
依行政院人事行政總處公告，7月10日全台北北基桃竹苗宜花連江共10縣市停止上班上課；隨颱風遠離，7月12日僅剩桃園復興、新竹尖石五峰、苗栗南庄獅潭泰安、臺中和平、高雄六龜等5區、花蓮萬榮鳳林與連江縣持續停班停課，其餘全數恢復正常，整理逐日範圍變化與最新查詢方式。