微软赶上了 AI 热，Lean 的江湖地位算不算蹭了这波？|Lean|微软|AI_新浪新闻

一个S表达式的幽灵

26-11-11 23:58 微博认证：AI博主

Lean今天的江湖地位，算不算微软赶上了这波AI热呢？

发布于北京