Gary Marcus

@GaryMarcus

“负责任地使用 AI 工具,不仅可以支持一个解决方案的初步生成,还可以支持传统上由该解决方案衍生出的所有有价值的后续工作。但在目前,情况往往恰恰相反。” ——陶哲轩(Terence Tao)
打开原帖#511482
  1. 产业

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

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

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