字节跳动的 Seed-Prover 在 PutnamBench 上以解决 657 个问题中的 329 个问题而名列前茅!🤯 6 个月前没有模型能够解决超过 2%,现在的最先进技术(SOTA)达到了 50%。我们正进入一个新的定理证明能力时代…
68.29K