SHEAF

1 則報導橫跨 1 期2026-10-16 起

一起出現的主題

#書生-S21 #上海AI實驗室1 #Ghys猜想1

2026-10-16AI 科技評論

上海AI實驗室書生-S2協助完成三維Ghys猜想證明，北大以Lean完成形式化驗證

SHEAF — YunNEWS