開放數學模型計畫

1 則報導橫跨 1 期2026-09-20 起

一起出現的主題

#SAIR Foundation1 #陶哲軒1

2026-09-20量子位

陶哲軒宣布啟動 SAIR 開放數學模型計畫，聚焦形式化證明並徵集算力與資金