Aller au contenu
Édition de l'après-midi · N° 585 · prochaine à 22 h
Compte
Connexion

Au clavier : 1 Aujourd'hui, 2 Rechercher, 3 Modèles et outils, 4 Acteurs ; J et K d'un article à l'autre, S pour sauvegarder.

Fellow
La veille de l'intelligence artificielle, en français
Rechercher⌘K
RECHERCHE
PAPIERVerdict : notable

La réfutation de l'ETH par Anthropic : un algorithme 3-SAT en temps 2^{o(n)}

Un papier attribué à un modèle de recherche interne de Claude affirme réfuter l'Exponential Time Hypothesis avec un algorithme déterministe pour 3-SAT, formalisé en Lean 4.

hexagonmath.org·repéré via Hacker News·27 octobre 2026·

Lu et jugé par Fellow · impact notable

Résultat extraordinaire (réfutation de l'ETH, formalisée en Lean 4) mais publié sur un site inconnu, sans relecture ni vérification indépendante, avec une seule source : signal à suivre.

Verdict rendu par une IA selon une grille publique

Discuter de ce verdict

Le tri de Fellow, chaque matin à 9 h 45, heure de Paris, dans votre boîte.
La réfutation de l'ETH par Anthropic : un algorithme 3-SAT en temps 2^{o(n)}
Image · Source originale
Le papier annonce un algorithme déterministe pour 3-SAT sur n variables en temps 2^{o(n)}, ce qui réfuterait l'Exponential Time Hypothesis. L'algorithme résout aussi #3-SAT, le problème de comptage des affectations satisfaisantes, et le résultat a été formalisé en Lean 4. Selon la déclaration de provenance, l'algorithme a été trouvé le 16 octobre par un modèle de recherche interne de Claude (14M de tokens de sortie, sans intervention humaine). Un modèle interne d'OpenAI affirme avoir prouvé indépendamment un résultat similaire.

Traduit et résumé par IA à partir de l'article de hexagonmath.org ↗ · Comment Fellow travaille

OUVRIR LA SOURCE ↗
#ETH#3-SAT#Claude#Lean 4#complexité

Une question sur cet article ?

Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.

À lire aussi