Vay canına, bu çılgınca: Nomos 1, bu yılki Putnam'da 87/120 puan alan 30B açık kaynaklı bir modeldir; tahmini #2/3988 puan alır ve neredeyse zirveye yakın olduğunu gösterir İnsan matematiği performansı artık nispeten küçük modellerle ve iyi bir eğitim sonrası ve akıl yürütme kurulumuyla mümkün oluyor. Bu, son teknoloji bir yapay zeka "matematikçisini" ve tüm akıl yürütme yeteneklerini herkesin eline veriyor, ciddi matematik araştırmaları, doğrulama ve gelişmiş akıl yürütme araçlarına önündeki engeli azaltıyor.