Jim Fan

@DrJimFan

越来越清楚的是,人类会先解决黎曼猜想,然后才能通过「物理图灵测试」——在一场疯狂的周日派对之后,你回到一个干净整洁的家,却分辨不出这活儿是人干的还是机器人干的。 我们对莫拉维克悖论的体会还远远不够深。
打开原帖#511482
  1. 产业

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

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

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