Pas le temps de lire l'article ? Voici ce qu'il faut retenir.
L'informaticien Donald Knuth, lauréat du prix Turing, a utilisé l'IA Claude pour résoudre un casse-tête mathématique ardu qui résistait à son expertise.
1
Casse-tête résolu — Le modèle Claude d'Anthropic a débloqué un casse-tête de décomposition hamiltonienne dans des graphes orientés 3-sortants qui résistait à Donald Knuth.
2
Décomposition parfaite — La construction fournie par Claude Opus 4.6 réalise une décomposition parfaite pour tous les m impairs.
3
Limites de l'IA — L'informaticien Terence Tao a tempéré l'enthousiasme ambiant en considérant que les exploits actuels de l'IA générative relèvent souvent de victoires faciles sur des problèmes plutôt mineurs.
💡
Pourquoi c'est important : Cette percée inattendue prouve que l'IA devient un partenaire prometteur pour les scientifiques, à condition de savoir comment lui parler.