Dix mille IA ont travaillé 88 heures et produit une preuve mathématique inédite
OpenAI a lancé des milliers de copies d’un modèle non publié sur l’un des sept grands problèmes ouverts des mathématiques. La démonstration tient 165 pages.
Le 8 septembre, OpenAI a annoncé avoir mis 10 000 agents (des copies d’un même programme, lancées en parallèle) au travail pendant 88 heures d’affilée sur les équations de Navier-Stokes, celles qui décrivent l’écoulement des fluides. Le résultat décrit un cas où un tourbillon se resserre et accélère jusqu’à devenir infini en un temps fini. La preuve fait 165 pages et a été passée au crible par Lean 4, un logiciel qui vérifie mécaniquement chaque étape d’une démonstration.
Le million de dollars attaché au problème, en revanche, n’est pas gagné : la version traitée n’est pas exactement celle qui ouvre droit au prix. OpenAI dit avoir démarré le 1er septembre après avoir entendu une rumeur, avant de découvrir que deux chercheurs travaillaient déjà sur un énoncé voisin. La question de savoir qui a trouvé quoi occupe depuis les mathématiciens.
Ce qu’il faut retenir n’est pas le trophée, c’est la méthode : on ne demande plus une réponse à une IA, on en lance des milliers en parallèle pendant plusieurs jours, puis un contrôleur automatique tranche. Ce couple « beaucoup de tentatives, une vérification mécanique » est ce qui rend l’IA fiable là où l’erreur se voit. Transposé chez vous, la question devient : qu’est-ce qui, dans votre travail, peut être vérifié automatiquement ?