Une annonce d’OpenAI sur une preuve assistée par intelligence artificielle relance un débat vieux de plusieurs décennies en mathématiques : un modèle aurait remis en question une conjecture de Paul Erdős sur le nombre de paires de points à distance unitaire dans le plan. Le détail : le mathémien Will Sawin a consacré un week-end…