25 lauréats de la médaille Fields alertent sur les annonces d’IA en mathématiques

OpenAI a annoncé le 8 septembre qu'un modèle d'IA interne non publié a résolu le problème d'existence et de régularité de Navier-Stokes, l'un des sept problèmes du prix du millénaire en mathématiques, en coordonnant environ 10 000 agents IA pendant 88 heures. Cette affirmation, qui attend toujours une vérification indépendante, a déclenché un vif débat sur le crédit, la confidentialité des données et le rôle de l'IA dans la recherche scientifique.venturebeat+2

La preuve et le litige

Les équations de Navier-Stokes décrivent le mouvement des fluides comme l'eau et l'air et sous-tendent la science et l'ingénierie modernes. OpenAI a déclaré que son modèle a montré que les équations peuvent développer une singularité, une explosion de la vitesse, en temps fini, une question qui a déconcerté les mathématiciens pendant des décennies. L'entreprise a déclaré avoir lancé cet effort après avoir entendu des rumeurs selon lesquelles des chercheurs liés à son rival Anthropic étaient proches d'une solution.galaxy+3

Quelques heures avant l'annonce d'OpenAI, le mathématicien de NYU Tristan Buckmaster a publié une déclaration révélant que lui et le chercheur d'Anthropic Levent Alpöge avaient passé plus d'un an à travailler sur le même problème en utilisant plusieurs grands modèles de langage, dont Codex d'OpenAI. Buckmaster a déclaré que lorsqu'il a contacté OpenAI au sujet de ses travaux, le chercheur de l'entreprise Sebastien Bubeck l'a invité à collaborer, à la condition que le nom d'Alpöge soit retiré en raison de son affiliation à Anthropic. Lorsque Buckmaster a refusé, Bubeck aurait demandé : "Pourquoi gâcheriez-vous votre carrière ?". OpenAI a nié cette allégation.singularityhub+4

OpenAI a également reconnu qu'elle ne pouvait pas totalement exclure que les données des utilisateurs aient aidé à entraîner ses modèles. "Bien que peu probable, nous ne pouvons pas exclure que des données désidentifiées dérivées de leur utilisation de nos produits aient aidé à améliorer nos modèles", a déclaré l'entreprise.venturebeat+1

La réaction des mathématiciens

Le 11 septembre, vingt-cinq lauréats de la médaille Fields, dont Terence Tao, ont signé une lettre ouverte avertissant que la précipitation des entreprises d'IA à revendiquer des percées mathématiques menace les fondements de la discipline. Les signataires ont fait valoir que les solutions annoncées à la hâte, sans rédaction appropriée ni attribution des travaux antérieurs, minent la culture collaborative qui soutient les mathématiques. "Sans les mathématiciens volontaires qui doivent prendre soin de leur développement et de leur intégration dans le canon mathématique, les idées conçues par l'IA ne prendraient jamais pleinement vie", indique la lettre.techcrunch+1

Tao a averti séparément que si les entreprises d'IA "sautent sur une rumeur de travaux prometteurs et dépensent des millions de dollars pour essayer de devancer leurs concurrents, les chercheurs pourraient finir par ne plus partager aucune recherche prometteuse avec la communauté au sens large". OpenAI a retiré son parrainage d'un événement mathématique à Caltech cette semaine après les critiques des chercheurs sur place.singularityhub+1

Implications plus larges

L'épisode a soulevé des questions qui vont bien au-delà des mathématiques. Le Clay Mathematics Institute répertorie toujours le problème de Navier-Stokes comme "actif" plutôt que "résolu", et selon ses règles, aucun prix ne peut être décerné avant au moins deux ans après la publication. OpenAI a déclaré qu'elle ne réclamerait pas le prix d'un million de dollars.theweek+2

La controverse survient alors qu'OpenAI et Anthropic se préparent à des introductions en bourse, ce qui incite les deux entreprises à démontrer les capacités de leurs modèles. Comme l'ont écrit les signataires de la médaille Fields, "Les problèmes auxquels la communauté mathématique est confrontée aujourd'hui sont similaires à ceux auxquels d'autres professions scientifiques et créatives sont confrontées, et indiquent des problèmes auxquels toute l'humanité pourrait être confrontée".galaxy+1