數學研究

25位菲爾茲獎得主共同發表聲明，關注AI解題競賽對研究的影響。球體堆積證明的形式化案例顯示，電腦完成驗證後，研究者仍要整理方法、改寫程式，讓成果能被理解、教學與重複使用。