Altman談AI科學，數學怎驗證？
Sam Altman談AI科學發現，OpenAI公布 Astra 10項數學結果。從單位距離猜想到 Lean，模型論證要經公開材料、形式檢查與人類覆核；台灣研究者亦參與驗證稿。
Astra
Astra資安疑慮，OpenAI暫緩訓練
OpenAI 因無法排除 Astra 具備臨界資安能力，暫緩部分訓練並擴大工具監控。英國 AI Security Institute 的代理人事件，提示連網與高權限測試要先設停損。
