Gary Marcus

@GaryMarcus

Gary Marcus 与陶哲轩(Terence Tao)就 OpenAI 的重磅数学成果发表的互补性评论 理解数学的新格局 https://garymarcus.substack.com/p/complementary-remarks-from-gary-marcus?r=8tdk6&utm_campaign=post-expanded-share&utm_medium=web
打开原帖#511482
  1. 产业

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

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

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