Mamma mia, è pazzesco: Nomos 1 è un modello open-source da 30B che ha appena ottenuto 87/120 al Putnam di quest'anno, abbastanza per un stimato #2/3988, dimostrando che una prestazione matematica umana quasi al top è ora possibile con modelli relativamente piccoli e una buona configurazione post-addestramento e di ragionamento. Questo mette un "matematico" AI all'avanguardia e le sue complete capacità di ragionamento nelle mani di tutti, abbassando la barriera per la ricerca matematica seria, la verifica e gli strumenti di ragionamento avanzato.