AI科學

Sam Altman談AI科學發現，OpenAI公布 Astra 10項數學結果。從單位距離猜想到 Lean，模型論證要經公開材料、形式檢查與人類覆核；台灣研究者亦參與驗證稿。