Nous Research acaba de sacudir el mundo de la inteligencia artificial y las matemáticas con el lanzamiento de Nomos 1, un modelo de IA open source que ha logrado un resultado histórico: alcanzar el segundo puesto teórico en el exigente examen Putnam, una de las pruebas universitarias de matemáticas más difíciles del planeta. El logro no solo es impresionante por la puntuación obtenida, sino por lo que representa para el futuro del razonamiento matemático automatizado.
El examen Putnam es conocido por su brutalidad. Cada año, miles de los mejores estudiantes universitarios de matemáticas de Estados Unidos y Canadá se enfrentan a doce problemas extremadamente complejos. La puntuación máxima es de 120 puntos y la media habitual suele rondar cifras muy bajas. En este contexto, Nomos 1 obtuvo 87 puntos sobre 120, una marca que lo colocaría por delante de casi 4.000 participantes humanos y solo por debajo del mejor clasificado.
Lo más llamativo es que Nomos 1 no es un experimento cerrado ni un sistema propietario. Nous Research ha publicado el modelo bajo licencia Apache 2.0, permitiendo su uso, modificación y distribución libre. Este enfoque refuerza la idea de que el progreso en IA avanzada no tiene por qué estar limitado a grandes corporaciones con modelos cerrados.
Nomos 1 ha sido desarrollado en colaboración con Hillclimb AI y parte de una base potente: una versión afinada de Qwen3-30B-A3B-Thinking, optimizada específicamente para tareas de razonamiento profundo. Sin embargo, el verdadero salto cualitativo llega con su entrenamiento enfocado en razonamiento matemático estructurado, algo que sigue siendo un punto débil para muchos modelos generalistas.
Para poner el avance en perspectiva, el modelo base sin este entrenamiento especializado apenas alcanzó 24 puntos en el mismo entorno de evaluación. El salto hasta 87 puntos demuestra que la especialización y el entrenamiento dirigido pueden marcar una diferencia radical en el rendimiento de una IA, incluso en dominios tradicionalmente considerados “humanos”.
Además del modelo en sí, Nous Research ha publicado también su llamado “reasoning harness”, un conjunto de herramientas que permite analizar paso a paso cómo el modelo razona y llega a sus soluciones. Esta transparencia es clave tanto para investigadores como para desarrolladores que quieran adaptar Nomos 1 a otros problemas complejos, desde demostraciones matemáticas hasta lógica formal o investigación científica.
Este logro reabre el debate sobre hasta qué punto las IAs pueden competir con expertos humanos en campos altamente abstractos. A diferencia de tareas como la generación de texto o imágenes, las matemáticas puras exigen precisión absoluta, creatividad estructurada y una comprensión profunda de conceptos. Que un modelo open source alcance este nivel sugiere que estamos entrando en una nueva etapa del razonamiento artificial.
También tiene implicaciones educativas. En lugar de reemplazar a matemáticos o estudiantes, modelos como Nomos 1 podrían convertirse en asistentes avanzados para el aprendizaje, la verificación de demostraciones o la exploración de nuevas ideas matemáticas. El hecho de que sea abierto facilita que universidades y centros de investigación lo adopten sin barreras legales ni económicas.
En un ecosistema dominado por modelos cerrados y anuncios grandilocuentes, Nomos 1 destaca por una razón clara: los resultados hablan por sí solos. Un modelo abierto, disponible para cualquiera, que demuestra un rendimiento de élite en una de las pruebas intelectuales más duras del mundo. Para muchos, este lanzamiento marca un antes y un después en la relación entre la inteligencia artificial y las matemáticas de alto nivel.
