La Fin des Mathématiques : 40 Mathématiciens de Premier Plan Réunis en Réunion Secrète chez OpenAI
Le mois dernier, le médaillé Fields Jacob Tsimerman a annoncé son intention de rejoindre OpenAI pour la recherche en sécurité de l'IA. Début août, lui et le chercheur Sébastien Bubeck d'OpenAI ont organisé un sommet privé à San Francisco avec environ 40 mathématiciens. L'une des présentations, intitulée « La Fin des Mathématiques », a exprimé des craintes quant à un avenir où la recherche mathématique de haute qualité et l'expertise humaine pourraient disparaître, les mathématiques étant considérées comme un terrain d'essai pour l'IA.
Ce sommet fait suite à une série de découvertes mathématiques générées par l'IA. En mai, un modèle d'OpenAI a réfuté une vieille conjecture sur la distance unitaire. En août, OpenAI a annoncé 10 nouvelles découvertes en mathématiques et en informatique. Parallèlement, un employé d'Anthropic a utilisé Claude pour construire une paire de vecteurs orthogonaux dans un hypercube de dimension 668, un résultat théoriquement attendu mais jamais construit.
Ces avancées, souvent partagées directement sur les réseaux sociaux, contournent le processus traditionnel de publication académique, suscitant des réactions mitigées dans la communauté. En juin, plus de 3000 mathématiciens ont signé la « Déclaration de Leyde » pour promouvoir une utilisation responsable de l'IA, demandant vérification et citation appropriée des résultats. D'autres préconisent un rejet complet de ces outils.
Lors du sommet, des mathématiciens comme Bryna Kra et Melanie Matchett Wood ont souligné que la compréhension et l'explication des preuves restent essentielles, notant que les modèles d'IA ont du mal à identifier et à expliquer clairement les parties les plus complexes des démonstrations. Andreas Thom a reconnu la capacité de l'IA à résoudre des problèmes de manière intelligente, mais a observé que les nouveaux concepts émergent souvent de l'intervention humaine ultérieure.
Sébastien Bubeck a décrit quatre futurs possibles pour les mathématiques : une collaboration de masse assistée par IA, une discipline dépendante de la puissance de calcul, une curation par l'homme des productions de l'IA, ou une reconversion des mathématiciens vers la sécurité de l'IA. Il a insisté sur la nécessité de garder le mathématicien au centre du processus. Aucun consensus n'a émergé du sommet, qui visait principalement à ouvrir le dialogue. Le choix de Tsimerman de rejoindre OpenAI symbolise les interrogations de la communauté face à l'essor de l'IA en recherche fondamentale.
marsbitIl y a 5 mins