Kirk Borne

@KirkDBorne

@adamjkucharski 的这本书解释了为什么确定性——即便在数学中——也可能只是一种错觉。 《证明:确定性的艺术与科学》,见 https://amzn.to/4m7gm8l #数学 “要发现[某件事的]证明,我们必须深入错误与偏见的丛林,并拥抱不确定性”
打开原帖#511482
  1. 产业

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

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

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