Le modèle de recherche Claude, développé en interne par Anthropic, a découvert indépendamment, sans intervention humaine, un nouvel algorithme capable de résoudre le problème 3-SAT plus rapidement que ce que les théories précédentes considéraient possible. Le problème 3-SAT est un problème classique consistant à déterminer si un ensemble de conditions logiques peut être satisfait simultanément. Les chercheurs ont longtemps cru que ce type de problème ne pouvait pas être accéléré de manière significative — c’est ce qu’on appelle l’hypothèse du temps exponentiel. Si cet nouvel algorithme est valide, cela signifie que cette hypothèse est fausse. Cet événement démontre que l’intelligence artificielle peut désormais proposer de manière autonome des algorithmes majeurs et fournir des preuves vérifiables sur des questions fondamentales de l’informatique théorique. Si les résultats résistent à la vérification, ils modifieront les perceptions durables sur la difficulté de certains problèmes computationnels. Le papier et les preuves sont désormais publiés pour validation supplémentaire. Ce processus montre que le modèle peut accomplir seul des découvertes théoriques de haut niveau, bien que la finalisation finale nécessite encore l’intervention humaine.