Verifica formale

OpenAI sforna 719 paper: ora il talento raro è saper verificare

OpenAI ha pubblicato 719 manoscritti di matematica scritti da un modello interno. Per chi fa ricerca oggi la competenza che conta è verificare.