RECENT IN: Analiza arată că Putnam este de 4 ori mai ușor / necesită mult mai puțină raționament decât în opinia mea. Durata medie a demonstrației Aristotle Lean4 pentru cele 10 probleme Putnam rezolvate a fost de ~250 de rânduri, comparativ cu ~1000 pentru IMO, o reducere de 75%. Explorăm aplicarea calculului extins la celelalte două (A5 și B4), pentru a cuantifica mai precis dificultatea relativă. Câteva precizări: au existat îmbunătățiri ale modelelor / algoritmilor de la rezultatul medaliei de aur al lui Aristotel, după părerea mea, dar versiunea pentru consumatori disponibilă publicului este mult mai slabă decât cea folosită intern pentru a rula problemele IMO. Ca fani ai lui Putnam, trebuie să recunoaștem — după părerea mea, rămâne rege. 👑