ByteDance の Seed-Prover は、Leanで解決された 657 の問題のうち 329 で PutnamBench のチャートのトップに立ちました。🤯 6か月前には>2%を解くモデルはありませんでしたが、現在SOTAは50%です。私たちは定理証明能力の新時代に突入しつつあります...
69.51K