L'année 2026 marque un tournant pour les mathématiques alors que l'intelligence artificielle aurait résolu deux conjectures majeures qui avaient déconcerté les mathématiciens pendant des décennies. En mai, OpenAI a annoncé qu'un modèle de raisonnement général avait réfuté de manière autonome la conjecture de la distance unitaire, un problème datant de 1987. Deux mois plus tard seulement, une autre conjecture vieille de 80 ans est tombée face à l'IA. Ces avancées soulèvent des questions profondes sur le rôle des mathématiciens humains et la nature de la découverte mathématique. Alors que certains célèbrent l'IA comme un nouvel outil puissant pour l'exploration, d'autres s'inquiètent de la dévalorisation de l'intuition et de la créativité humaines dans le domaine. Les événements mettent en évidence le rythme accéléré des capacités de l'IA et leur potentiel à remodeler des disciplines entières. Pour la communauté technologique mondiale, cela signale que l'impact de l'IA s'étend au-delà des domaines appliqués vers les royaumes les plus abstraits de la pensée humaine.
En 2026, des modèles d'IA auraient résolu deux conjectures mathématiques de longue date : la conjecture de la distance unitaire et un problème vieux de 80 ans. Cet article discute des implications pour les mathématiques, se demandant si l'IA est un outil ou une menace pour le domaine. La nouvelle signale un changement de paradigme potentiel dans la façon dont la recherche mathématique est menée.