Recherche
Anthropic publie une preuve rédigée par Claude qui réfuterait l'hypothèse du temps exponentiel, vérifiée en Lean
Anthropic a diffusé un article et une formalisation en Lean 4 selon lesquels un modèle interne de Claude a trouvé un algorithme déterministe sous-exponentiel pour 3-SAT, ce qui renverserait l'hypothèse du temps exponenti…