clem 🤗

@ClementDelangue

如果你还需要更多证据来证明本地 AI(以及 llamacpp)有多令人兴奋!来自今天与 @satyanadella、@sriramk、@JensenHuang 一起的 @Microsoft Windows 发布会 https://t.co/mN7gkgj2Rd
打开原帖#511482
  1. 产业

    Rohan Paul:– https://arxiv.org/abs/2610.08144 标题…
  2. 产业

    Rohan Paul:一篇新论文表明,当 AI 把一个数学证明翻译成 Lean 时,通过 Lea…
  3. 产业

    Rohan Paul:Emad Mostaque:AI 模型“基本上已经达到了人脑的效率”