書生-S2

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

一起出現的主題

#SHEAF1 #上海AI實驗室1 #Ghys猜想1

2026-10-16AI 科技評論

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

書生-S2 — YunNEWS