IA résout conjecture mathématique insoluble depuis 80 ans
Un modèle d'OpenAI a résolu la conjecture des distances unitaires de Paul Erdős, un problème de géométrie resté insoluble depuis 1946. La solution, basée sur une approche innovante en théorie algébrique des nombres, contredit formellement la conjecture et ouvre de nouvelles perspectives en recherche mathématique.