Voi hyvänen aika, tuo on hullua: Nomos 1 on 30B-luokan avoimen lähdekoodin malli, joka sai juuri 87/120 tämän vuoden Putnamista, mikä riittää arviolta #2/3988:aan, mikä osoittaa lähes kärkeen Ihmisen matematiikan suorituskyky on nyt mahdollista suhteellisen pienillä malleilla sekä hyvällä jälkikoulutuksella ja päättelyasetuksilla. Tämä antaa huipputason tekoälyn "matemaatikon" ja sen täydet päättelykyvyt kaikkien käsiin, mikä laskee kynnystä vakavalle matematiikan tutkimukselle, varmennukselle ja kehittyneille päättelytyökaluille.