OpenAI a récemment annoncé une preuve générée par IA pour le problème de Navier-Stokes, une question majeure non résolue en mathématiques. Cette avancée souligne comment l'IA transforme le domaine, en passant de capacités de comptage médiocres à la résolution de problèmes complexes qui défient les humains depuis des décennies. Simultanément, les éducateurs font face à des défis car les grands modèles de lang peuvent désormais terminer les devoirs des étudiants, forçant les enseignants à adapter leurs méthodes.
Justin Solomon, doyen associé pour l'enseignement de l'ingénierie au MIT, discute de la manière dont les mathématiciens répondent à ces progrès. Il explique l'importance du problème de Navier-Stokes, pourquoi la preuve d'OpenAI est difficile à vérifier pour les experts, les malentendus courants sur les mathématiciens dans les médias, et comment il change son approche pédagogique à l'ère de l'IA.
Source: Bloomberg Markets · Résumé par HeadlinesBriefing