Vingt-cinq mathématiciens de premier plan , tous lauréats de la médaille Fields – considérée comme le prix le plus prestigieux en mathématiques –, ont signé une lettre ouverte accusant les laboratoires d’IA de menacer leur travail intellectuel, alors que ceux-ci rivalisent pour résoudre des problèmes mathématiques célèbres.
Un climat de tension
Cette semaine, le professeur Tristan Buckmaster (NYU) a accusé OpenAI de l’avoir poussé à ne pas créditer un collaborateur travaillant pour Anthropic, qui avait résolu un important problème mathématique. Il s’est demandé si l’entreprise avait utilisé leur travail avec Codex pour produire sa propre démonstration révolutionnaire lors d’un week-end marathon d’inférence.
Jeudi, OpenAI a retiré son parrainage d’un événement mathématique à CalTech après avoir été critiqué par des chercheurs de l’université.
Les inquiétudes soulevées
Bien que la capacité des modèles d’IA à résoudre les grands défis mathématiques puisse être bénéfique pour l’humanité, les signataires de la lettre estiment que ce ne sera le cas que si ces solutions peuvent être comprises et communiquées par la communauté mathématique et, à terme, par le reste du monde.
« Souvent, ces solutions sont annoncées dans la précipitation, ne laissant pas le temps pour une rédaction appropriée, l’isolation de nouvelles méthodes et idées, et la citation des travaux antérieurs pertinents », écrivent-ils – et la preuve d’OpenAI reste non vérifiée.
« Comme dans toutes les professions créatives, cela soulève de graves questions d’attribution et de plagiat. De plus, sans les mathématiciens volontaires qui doivent prendre en charge leur développement et leur intégration dans le canon mathématique, les idées conçues par l’IA ne deviendraient jamais pleinement vivantes et la chaîne de transmission humaine cruciale entre mathématiciens serait perdue. »
Un risque pour la recherche ouverte
Alors que d’autres mathématiciens deviennent paranoïaques et se demandent si leur utilisation de Codex a été réinjectée dans les nouveaux modèles d’OpenAI, la crainte est réelle que la culture de la recherche ouverte soit menacée. Aujourd’hui, si les laboratoires de pointe voient un chemin utile vers une découverte, ils peuvent dépenser des dizaines de millions de dollars en LLM pour devancer les chercheurs originaux – une dynamique qui incitera au secret.
La déclaration de Leiden
Cette lettre fait suite à la Déclaration de Leiden , publiée en juin par un groupe de travail de mathématiciens. Ce document aborde également les façons dont les preuves générées par LLM vont changer leur travail et propose des recommandations pour les mathématiciens, les institutions et les décideurs politiques.
Un enjeu qui dépasse les mathématiques
Comme pour l’ingénierie logicielle et d’autres domaines où les outils d’IA transforment les flux de travail, les mathématiciens trouvent une justification dans le « travail autour du travail » : la valeur des mathématiques ne réside pas seulement dans les preuves et qui en obtient le crédit, mais dans la superstructure intellectuelle qui nourrit les étudiants, découvre de nouvelles questions et idées, et les intègre à la civilisation humaine.
« Les problèmes auxquels la communauté mathématique est confrontée aujourd’hui sont similaires à ceux que d’autres professions scientifiques et créatives rencontrent, et indiquent des problèmes que toute l’humanité pourrait affronter : comment s’assurer, alors que l’IA change la façon dont le travail est effectué, que nous ne perdons pas de vue ce que ce travail était censé accomplir au départ », écrivent-ils.
