AI解完題，研究為何還沒完成？25位數學家發聲
25位菲爾茲獎得主共同發表聲明，關注AI解題競賽對研究的影響。球體堆積證明的形式化案例顯示，電腦完成驗證後，研究者仍要整理方法、改寫程式，讓成果能被理解、教學與重複使用。
Lean
Altman談AI科學，數學怎驗證？
Sam Altman談AI科學發現，OpenAI公布 Astra 10項數學結果。從單位距離猜想到 Lean，模型論證要經公開材料、形式檢查與人類覆核；台灣研究者亦參與驗證稿。
