ByteDancen Seed-Prover on PutnamBenchin listojen kärjessä 329:llä 657 ongelmasta, jotka on ratkaistu Lean! 🤯 6 kuukautta sitten mikään malli ei pystynyt ratkaisemaan >2 %, nyt SOTA on 50 %. Olemme siirtymässä uuteen aikakauteen teoreeman todistamiskyvyissä...
70,42K