La résolution potentielle d'un des sept problèmes du millénaire en mathématiques représente une avancée significative pour l'intelligence artificielle. Deux entreprises spécialisées dans l'IA se sont engagées dans une compétition pour parvenir à cette solution. Ce succès souligne le potentiel croissant de l'IA dans le domaine des sciences fondamentales. L'obtention d'une preuve, même préliminaire, de la solution à un tel problème est considérée comme un exploit majeur. Les détails concernant le problème mathématique spécifique n'ont pas été divulgués, mais il s'agit de l'un des défis les plus complexes de la discipline. Cette compétition entre les entreprises d'IA a accéléré le processus de recherche et de développement. L’affaire soulève des questions sur l’avenir des preuves mathématiques et le rôle de l’IA dans la découverte scientifique.