Le modèle Claude Mythos d’Anthropic aurait résolu la conjecture d’Erdős sur la distance unitaire, un problème mathématique de longue date qui a défié les chercheurs pendant des décennies.
Cette avancée survient peu après qu’OpenAI ait également réfuté cette conjecture. La conjecture, formulée en 1946 par le mathématicien Paul Erdős, est un défi en géométrie combinatoire qui interroge le nombre maximal de paires de points à distance unitaire dans un ensemble de points donné.
Selon l’ingénieur Sholto Douglas, Claude Mythos aurait trouvé une preuve « mignonne et simple » de cette conjecture « pendant le week-end ». Douglas y voit un signe de « sérieux potentiel » pour les découvertes mathématiques assistées par l’intelligence artificielle, suggérant une accélération significative dans ce domaine.
La capacité des modèles d’IA à aborder et résoudre des problèmes mathématiques complexes, même ceux qui ont résisté aux experts humains, continue de redéfinir les frontières de la recherche fondamentale.
Source : The Decoder