Lors du Congrès international des mathématiciens de 2026 à Philadelphie, Jacob Tsimerman est devenu l'un des nouveaux lauréats de la médaille Fields. Lors de la conférence de presse qui a suivi la cérémonie de remise des prix, le mathématicien canadien de 38 ans a annoncé un ajustement majeur dans son orientation professionnelle : il rejoindra OpenAI pour s'engager dans la recherche sur la sécurité de l'intelligence artificielle.

Cette décision contraste avec la position publique de Zimmerman il y a un an. En juillet 2025, il a participé à la rédaction du « Cadre de classification des scénarios de catastrophes potentiellement destructrices de l'intelligence artificielle », triant les multiples chemins possibles pour qu'une intelligence artificielle de haut niveau conduise à l'extinction humaine. À l’époque, il estimait publiquement que la probabilité de risques aussi extrêmes ne devait pas être sous-estimée et appelait à un moratoire sur la recherche et le développement de pointe en matière d’intelligence artificielle. Dans le même temps, il a admis que la concurrence géopolitique et la concurrence commerciale des entreprises rendraient très probablement difficile la mise en œuvre de l’accord mondial de moratoire sur la R&D. Même s'il émet fréquemment des avertissements sur les risques, Zimmerman a déjà utilisé régulièrement de grands modèles de langage dans son travail quotidien, s'appuyant sur l'IA pour accélérer l'analyse de la littérature et compléter la vérification préliminaire des théorèmes.

L’itération rapide des capacités de l’intelligence artificielle a modifié ses idées de recherche. Plus tôt cette année, Levonte Alperger, ancien doctorant de Zimmerman et mathématicien travaillant chez Anthropic, a déclaré qu'avec l'aide de la collaboration en matière d'IA, l'équipe avait trouvé un contre-exemple à la conjecture centenaire de Jacobi. Peu de temps après, OpenAI a révélé que son modèle de raisonnement interne prouvait de manière indépendante l’existence d’un contre-exemple, renversant ainsi la conjecture de distance unitaire vieille de 80 ans. Zimmerman a été invité par OpenAI à servir d'expert en vérification externe et a déterminé que le processus de preuve dérivé de l'IA était logiquement rigoureux et capable d'être directement publié dans les meilleures revues mathématiques. Les progrès continus lui ont fait comprendre que l’intelligence artificielle est en train de passer d’une aide informatique à un participant actif à une découverte mathématique rigoureuse.

Zimmerman s'est rendu compte que peu importe à quel point le domaine de la sécurité était controversé, la recherche et le développement de pointe en matière d'IA ne s'arrêteraient pas, de sorte que l'accent de la recherche est passé de « prévenir la naissance des risques » à « l'alignement et le contrôle des risques ». Il a souligné qu’à mesure que les capacités des systèmes d’IA autonomes continuent de se renforcer, la sécurité ne peut être entièrement garantie par la seule vérification des mesures réelles ; la preuve mathématique peut construire un système de contraintes plus stable pour contrôler les systèmes d’IA multi-agents. OpenAI est profondément impliqué depuis longtemps dans l'alignement de modèles, le raisonnement logique et la vérification mathématique, ce qui est tout à fait cohérent avec sa spécialisation.

Ce choix de carrière reflète également les changements dans le paysage universitaire global. Zimmerman a annoncé qu'il ne recruterait plus de doctorants réguliers en mathématiques. La raison en est qu’une fois que les machines surpassent progressivement les humains dans un raisonnement logique rigoureux, la survie des carrières traditionnelles en recherche mathématique est mise en doute. OpenAI n'a pas annoncé son poste spécifique ni indiqué s'il conserverait son poste d'enseignant à l'Université de Toronto ; mais sa nomination confirme que l'industrie a de plus en plus besoin de mathématiciens profondément impliqués dans la logique mathématique pour développer des capacités d'IA de haut niveau et des règles de sécurité vérifiables. Cette décision représente également un changement pragmatique dominant dans la communauté universitaire : la communauté de la recherche scientifique n’est plus obsédée par l’arrêt du développement technologique, mais donne plutôt la priorité à la construction d’un système mathématique capable de contrôler l’IA.