字節跳動的 Seed-Prover 在 PutnamBench 上以解決 657 個問題中的 329 個問題而名列前茅!🤯 6 個月前沒有模型能夠解決超過 2%,現在的最先進技術(SOTA)達到了 50%。我們正進入一個新的定理證明能力時代…
68.29K