Madre mía, eso es una locura: Nomos 1 es un modelo de código abierto 30B que acaba de obtener un 87/120 en el Putnam de este año, suficiente para un estimado #2/3988, mostrando que está cerca de la parte superior El rendimiento humano en matemáticas ahora es posible con modelos relativamente pequeños, además de un buen sistema de postentrenamiento y razonamiento. Esto pone a un "matemático" de IA de última generación y todas sus capacidades de razonamiento en manos de todos, bajando la barrera para la investigación matemática seria, la verificación y herramientas avanzadas de razonamiento.