ByteDance’s Seed-Prover staat bovenaan de ranglijst op PutnamBench met 329 van de 657 problemen opgelost in Lean! 🤯 6 maanden geleden kon geen enkel model meer dan 2% oplossen, nu is de SOTA 50%. We betreden een nieuw tijdperk van mogelijkheden voor het bewijzen van stellingen…
70,42K