En el Congreso Internacional de Matemáticos de 2026 en Filadelfia, Jacob Tsimerman se convirtió en uno de los nuevos ganadores de la Medalla Fields. En la rueda de prensa posterior a la ceremonia de premiación, el matemático canadiense de 38 años anunció un importante cambio en su carrera: se unirá a OpenAI para dedicarse a la investigación de la seguridad de la inteligencia artificial.
La decisión contrasta con la postura pública de Zimmerman hace un año. En julio de 2025, participó en la redacción del "Marco de clasificación de escenarios de desastres potencialmente destructivos de la inteligencia artificial", clasificando los múltiples caminos posibles para que la inteligencia artificial de alto nivel conduzca a la extinción humana. En ese momento, creyó públicamente que no se debía subestimar la probabilidad de riesgos tan extremos y pidió una moratoria sobre la investigación y el desarrollo de inteligencia artificial de vanguardia. Al mismo tiempo, admitió que la competencia geopolítica y la competencia comercial corporativa probablemente dificultarían la implementación del acuerdo de moratoria global de I+D. Aunque con frecuencia emite advertencias de riesgo, Zimmerman ya ha utilizado grandes modelos de lenguaje de forma regular en su trabajo diario, confiando en la IA para acelerar la revisión de la literatura y completar la verificación preliminar de los teoremas.
La rápida iteración de las capacidades de la inteligencia artificial ha cambiado sus ideas de investigación. A principios de este año, Levonte Alperger, ex estudiante de doctorado de Zimmerman y matemático que trabaja en Anthropic, afirmó que con la ayuda de la colaboración de IA, el equipo encontró un contraejemplo a la centenaria conjetura de Jacobi. Poco después, OpenAI reveló que su modelo de razonamiento interno demostraba de forma independiente la existencia de un contraejemplo, anulando la conjetura de la distancia unitaria de 80 años. OpenAI invitó a Zimmerman a actuar como experto en verificación externa y determinó que el proceso de prueba derivado de la IA era lógicamente riguroso y podía publicarse directamente en las principales revistas de matemáticas. El progreso continuo le hizo darse cuenta de que la inteligencia artificial se está transformando de una ayuda informática a un participante activo en descubrimientos matemáticos rigurosos.
Zimmerman se dio cuenta de que no importa cuán controvertido fuera el campo de la seguridad, la investigación y el desarrollo de IA de vanguardia no se detendrían, por lo que el enfoque de la investigación pasó de "prevenir el nacimiento de riesgos" a "alinear y controlar los riesgos". Señaló que a medida que las capacidades de los sistemas autónomos de IA siguen fortaleciéndose, la seguridad no puede garantizarse plenamente únicamente mediante la verificación de mediciones reales; La prueba matemática puede construir un sistema de restricciones más estable para controlar los sistemas de IA multiagente. OpenAI ha estado profundamente involucrado en la alineación de modelos, el razonamiento lógico y la verificación matemática durante mucho tiempo, lo cual es muy consistente con su especialización.
Esta elección de carrera también refleja cambios en el panorama general del mundo académico. Zimmerman anunció que ya no reclutaría estudiantes regulares de doctorado en matemáticas. La razón es que una vez que las máquinas superen progresivamente a los humanos en razonamiento lógico riguroso, la supervivencia de las carreras profesionales tradicionales de investigación matemática estará en duda. OpenAI no ha anunciado su puesto específico, ni ha indicado si conservará su puesto docente en la Universidad de Toronto; pero su nombramiento confirma que la industria necesita cada vez más matemáticos que estén profundamente involucrados en la lógica matemática para desarrollar capacidades de inteligencia artificial de alto nivel y normas de seguridad verificables. Esta medida también representa un cambio pragmático generalizado en la comunidad académica: la comunidad de investigación científica ya no está obsesionada con detener el desarrollo tecnológico y, en cambio, prioriza la construcción de un sistema matemático que pueda controlar la IA.