Claude Mythos d'Anthropic aurait résolu le problème de Erdős, vieux de plusieurs décennies, avec une 'preuve mignonne et simple'.

Le modèle IA a trouvé une solution en un week-end, démontrant le potentiel immense de l'IA dans la recherche mathématique.

Généré par IA : résumés rédigés par une IA à partir des sources citées. Notre usage de l'IA