Oggi apriamo il codice sorgente di Nomos 1. Con soli 30 miliardi di parametri, ottiene 87/120 nel Putnam di quest'anno, una delle competizioni matematiche più prestigiose al mondo.
Questo punteggio si classificherebbe al #2/3988 nel 2024 e segna il nostro primo passo con @hillclimbai verso la creazione di un matematico AI SOTA.