Las matematicas tienen un problema bonito, y es enorme. Los sistemas de inteligencia artificial ya producen resultados a un ritmo que hace pocos anos costaba imaginar, y quienes saben comprobar esos resultados necesitan tiempo, herramientas y sitios donde contrastar notas. El 15 de octubre de 2026, en Nueva York, la Fundacion Simons anuncio un compromiso conjunto de 15 millones de dolares con Anthropic y OpenAI para ayudar a los matematicos a hacer justo eso.
No es un premio para un unico descubrimiento. Es apoyo para el trabajo mas lento y esencial que rodea a los descubrimientos: leer, probar, preguntar y decidir que cuenta como solido. La financiacion la gestionara y concedera la propia Fundacion Simons, tambien mediante una convocatoria abierta de propuestas. Ese detalle importa mucho. Una convocatoria abierta invita a investigadores con enfoques distintos a presentar su caso, en lugar de limitar el esfuerzo a un circulo pequeno y cercano a los laboratorios.
Que cubren esos 15 millones
La aportacion de OpenAI se cifro en 5 millones de dolares, mas acceso a sus modelos y recursos de computo para los cientificos apoyados por la fundacion. Anthropic hizo un compromiso similar, tambien de 5 millones, con financiacion, computo y acceso a Claude. Sumada la parte de la Fundacion Simons, el compromiso conjunto llega a 15 millones en fondos y recursos.
El dinero solo no resolveria el problema practico. Un matematico que quiere comprobar un resultado asistido por IA necesita acceso a los modelos, computo suficiente para hacer verificaciones serias y colegas que entiendan tanto las matematicas como el software. Este paquete intenta dar las tres cosas a la vez. El acceso y el computo acompanan a las ayudas, para que los investigadores trabajen con las herramientas en la mano y no las miren desde lejos.
David Spergel, presidente de la Fundacion Simons, lidera la organizacion que gestionara y concedera los fondos. Asi el proyecto tiene una casa clara. La fundacion puede organizar la convocatoria, elegir los programas y mantener el foco en los investigadores, mientras las dos empresas de IA aportan dinero, acceso y potencia de calculo.
Por que evaluar ahora es tan urgente
La escala explica el momento. El 6 de octubre, OpenAI publico 722 manuscritos organizados en 372 familias de resultados, a partir de un trabajo sobre unos 4.000 problemas. Conviene leer esa cifra dos veces. Setecientos veintidos manuscritos. Incluso un departamento muy fuerte tardaria meses en revisar una parte de esa produccion, comprobar pasos, buscar huecos y decidir que resultados merecen un estudio mas profundo.
No es una queja contra los manuscritos. Es una simple cuestion de capacidad. La revision tradicional entre pares nacio para un mundo donde los articulos llegaban a ritmo humano. Cuando llegan por cientos, la comunidad necesita nuevas formas de clasificarlos, probarlos y debatirlos, sin bajar el liston de lo que se acepta como correcto.
La misma curiosidad por como cambia la tecnologia se ve en otras historias de esta semana en Revista Minutos, como la vision del coche volador que quiere conquistar el cielo de las ciudades, donde tambien se discute que hace falta para que una idea ambiciosa funcione en la practica diaria.
Talleres, encuentros y normas compartidas
Los fondos apoyaran talleres, conferencias y programas especificos. Los investigadores los usaran para evaluar resultados recientes asistidos por IA, aprender herramientas nuevas, compartir puntos de vista y dar forma a normas colectivas para el uso de la IA en matematicas. Esas cuatro tareas van juntas. Un taller dedicado solo a trucos de software dejaria fuera las preguntas dificiles sobre pruebas y confianza. Una conferencia centrada solo en normas, sin tiempo practico con las herramientas, pasaria por alto como se hace el trabajo de verdad.
Las normas compartidas suenan a tema seco hasta que hacen falta. Cuando es aceptable un paso asistido por IA dentro de una demostracion. Que debe contar un autor sobre como encontro un resultado. Como debe comprobar un revisor una afirmacion que nace de una cadena larga de sugerencias de un modelo. No hay atajos, y si cada laboratorio responde por su cuenta, el resultado sera un mosaico dificil de sostener. Las normas debatidas en salas llenas de matematicos en activo tienen mas opciones de perdurar.
Mas alla de las matematicas puras
El alcance va mas alla de las matematicas puras y llega a la ciencia basica. Tiene sentido. El mismo patron, modelos que proponen resultados mas rapido de lo que los expertos pueden verificarlos, aparece en otros campos, y los habitos creados en matematicas suelen viajar bien. Los matematicos son estrictos con las definiciones y las pruebas por una razon. Si logran construir normas utiles para el trabajo asistido por IA, otras ciencias tendran un ejemplo probado que adaptar.
Tambien es una historia de cultura cientifica compartida, parecida en espiritu a la atencion que esta revista presta a actos como la entrega del Premio Planeta 2026 en Barcelona, donde el conocimiento y la creacion se celebran en publico y con rigor.
Consejos practicos para investigadores
Primero, atentos a la convocatoria abierta. Como la financiacion la gestiona la Fundacion Simons, tambien por esa via, los investigadores ajenos a las dos empresas pueden presentar propuestas. Segundo, conviene tratar el acceso a modelos y el computo como parte de la ayuda, no como un extra. Una propuesta que una una pregunta clara de verificacion con una necesidad real de acceso a Claude, a modelos de OpenAI o a recursos de computo encaja bien con la forma de este compromiso.
Tercero, pensad en grupo. Los talleres y las conferencias forman parte del plan, asi que las propuestas en equipo, con grupos capaces de probar resultados juntos y contar lo aprendido, responden a la intencion del programa. Un investigador solo puede hacer un gran trabajo, pero las normas colectivas necesitan colectivos.
Y cuarto, no espereis a que las normas sean perfectas para empezar. Los programas existen para evaluar resultados recientes y crear criterios mientras el trabajo esta fresco. Las normas escritas cuando los habitos ya se han endurecido rara vez cambian mucho.
Hay un optimismo tranquilo en este anuncio. Nadie propone aceptar la produccion de la IA por fe, y nadie sugiere que los matematicos se aparten. La apuesta es la contraria: dar a los expertos financiacion, acceso, computo y salas donde debatir, y dejar que ellos fijen las condiciones. Quince millones no resolveran todas las preguntas que la IA plantea a las matematicas. Si deberian comprar algo que el campo necesita ahora mismo: tiempo para comprobar el trabajo como se debe, juntos.
Sé el primero en comentar