Una cosa davvero fantastica riguardo all'AI di autoformalizzazione è che possiamo essere molto sicuri della validità di queste prove generate. Questo è un livello di verifica che molte opere scritte da esseri umani mancano e da cui trarrebbero beneficio. Grazie mille al grande modello Aristotele di @HarmonicMath!

GPT-5.2 è davvero un buon modello per la matematica, signore OpenAI stava cucinando bene con quell'aglio

Qualcosa è molto chiaro per me: Tutti gli altri laboratori sono così indietro rispetto a OpenAI nel ragionamento e non è nemmeno paragonabile. Gli altri laboratori devono controllare l'allucinazione e la pigrizia.