OpenAI contestée par 25 médaillés Fields et un retrait à CalTech

Des mathématiciens redoutent que l’usage des LLM n’alimente la précipitation, complique l’attribution et pousse au secret. Une preuve attribuée à OpenAI est dite non vérifiée, et l’entreprise a retiré un parrainage à CalTech. Un professeur de NYU l’accuse en outre d’avoir voulu minorer un crédit, tandis que 25 médaillés Fields appellent à des règles claires.

Crainte de secret, attribution disputée et validation en question

Des laboratoires de pointe peuvent investir des dizaines de millions de dollars dans l'utilisation de LLM pour tenter de devancer les chercheurs à l'origine d'une preuve, ce qui, selon la lettre ouverte, favorise une dynamique de secret. Les signataires dénoncent la rapidité avec laquelle certaines solutions sont annoncées, ce qui laisse peu de temps pour une rédaction approfondie, l'identification de nouvelles méthodes et la citation des travaux antérieurs. La preuve attribuée à OpenAI est signalée comme restant non vérifiée. Des risques importants concernant l'attribution et le plagiat, ainsi qu'une inquiétude plus large pour la préservation de la culture de la recherche ouverte, sont évoqués. Certains mathématiciens s'interrogent sur la possibilité que leur utilisation de Codex ait été intégrée dans de nouveaux modèles d'OpenAI. Selon les signataires, l'intérêt des solutions produites par l'IA ne se concrétisera que si la communauté mathématique peut les comprendre et les transmettre au-delà de son cercle.

Accusations individuelles et retrait d’un parrainage à CalTech

Tristan Buckmaster, professeur à NYU, affirme qu’OpenAI a exercé des pressions pour qu’il ne crédite pas un collaborateur employé par Anthropic dans la résolution d’un problème mathématique important. Il s’interroge également sur la possibilité qu’OpenAI ait utilisé leur travail avec Codex pour produire sa propre preuve lors d’un week-end d’inférence intensif. Par ailleurs, jeudi, OpenAI a retiré son parrainage d’un événement mathématique à CalTech après avoir été critiquée par des chercheurs de l’université.

Une mobilisation structurée autour de 25 médaillés Fields et de Leiden

Vingt-cinq lauréats de la médaille Fields ont signé une lettre ouverte pour alerter sur la menace que représentent les laboratoires d’IA pour leur travail intellectuel. Les signataires estiment que, sans l’engagement de mathématiciens pour développer et intégrer les idées issues de l’IA dans le corpus mathématique, la transmission humaine entre chercheurs serait compromise. Leur initiative s’inscrit dans la continuité de la Déclaration de Leiden, publiée en juin par un groupe de travail, qui analyse l’impact des preuves produites par LLM sur la pratique mathématique et formule des recommandations à destination des mathématiciens, des institutions et des décideurs. L’importance d’une superstructure intellectuelle qui forme les étudiants, suscite de nouvelles questions et idées, et intègre ces avancées dans la culture générale, est également défendue. Ils rapprochent les difficultés actuelles de celles rencontrées dans d’autres professions scientifiques et créatives, et soulignent qu’il s’agit d’un enjeu pour l’ensemble de l’humanité : veiller à ce que l’évolution des méthodes de travail sous l’effet de l’IA ne fasse pas perdre de vue les objectifs initiaux de ces travaux.