Vaya, eso es una locura: Nomos 1 es un modelo de código abierto de 30B que acaba de obtener 87/120 en el Putnam de este año, lo suficientemente bueno para un estimado de #2/3988, mostrando que el rendimiento matemático humano casi de élite ahora es posible con modelos relativamente pequeños más una buena configuración de post-entrenamiento y razonamiento. Esto pone un "matemático" de IA de última generación y sus completas capacidades de razonamiento en manos de todos, reduciendo la barrera para la investigación matemática seria, la verificación y las herramientas de razonamiento avanzado.