Santiago Valdarrama

@svpino

这个非常巧妙: 这是一个能“提取”文档中并不存在、但可以从已有数值推导出来的值的模型。 例如,你可以询问使用某个产品的年度费用,它会根据月度费用自动算出来。 视频展示了一堆很酷的例子。看起来它能推断出非常复杂、精巧的公式。
打开原帖#511482
  1. 产业

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

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

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