Des percées annoncées plus vite qu’on ne peut les vérifier : 25 médaillés Fields, dont Terence Tao, dénoncent la course des laboratoires d’IA

Mathématiciens discutant de preuves assistées par IA en laboratoire moderne

Vingt-cinq lauréats de la médaille Fields ont signé une déclaration publiée le 11 septembre 2026 qui dénonce la course des entreprises d’intelligence artificielle à la résolution de problèmes mathématiques célèbres. Selon eux, les objectifs des laboratoires d’IA et ceux de la communauté mathématique sont gravement désalignés.

Une déclaration signée par 25 médaillés Fields

Intitulée « A Severe Misalignment of AI in Mathematics » et mise en ligne sur le site mathandai.org, la déclaration réunit 25 lauréats de la plus haute distinction mathématique, dont les promotions s’échelonnent de 1978 à 2026. Parmi les signataires figurent notamment Terence Tao et Yu Deng, lauréat 2026.

Grass Valley avait résilié Flock et retiré ses caméras : la maintenance automatisée de l’entreprise les a remises en place

Les signataires visent la course des entreprises d’intelligence artificielle à la résolution de problèmes célèbres, utilisée comme démonstration des capacités de leurs modèles.

Une bonne réponse ne suffit pas

Pour les médaillés, une réponse correcte ne suffit pas à rendre compte de ce qui fait la valeur de la recherche mathématique. Les idées produites par l’intelligence artificielle obligent les mathématiciens à les développer et à les intégrer au corpus plus large des connaissances, un travail que la simple annonce d’un résultat ne remplace pas.

Des preuves produites à la hâte par des agents d’IA risquent de perturber la manière dont les mathématiciens vérifient les découvertes, font émerger de nouvelles idées et transmettent leur savoir aux générations suivantes.

Des annonces plus rapides que la vérification

Les entreprises d’intelligence artificielle optimisent la vitesse et revendiquent des percées à un rythme qui dépasse la capacité de la communauté à les vérifier. « Souvent, ces solutions sont annoncées dans la précipitation », écrivent les signataires, qui pointent le manque de temps pour une rédaction soignée et une attribution correcte.

La publication précipitée de solutions générées par intelligence artificielle soulève ainsi des questions d’attribution et de plagiat, et pourrait rompre la transmission du savoir entre générations de mathématiciens.

Le Pentagone a coupé les identifiants publicitaires sur tous ses appareils, et Ron Wyden juge que cela n’a pas neutralisé la menace

Une alerte sans mode d’emploi

Selon Interesting Engineering, une preuve récemment revendiquée par OpenAI n’a toujours pas été vérifiée. La déclaration, telle qu’elle est rapportée, ne détaille en revanche aucune mesure précise : elle alerte sur le décalage entre le rythme des laboratoires et celui de la vérification mathématique, sans proposer de protocole pour le résorber.

Laisser un commentaire