O modelo de pesquisa Claude, desenvolvido internamente pela Anthropic, descobriu autonomamente um novo algoritmo capaz de resolver o problema 3-SAT mais rapidamente do que o previsto pelas teorias anteriores, sem orientação humana. O 3-SAT é um problema clássico que determina se um conjunto de condições lógicas pode ser simultaneamente satisfeito. Por muito tempo, pesquisadores acreditaram que problemas desse tipo não poderiam ser acelerados significativamente — essa é a hipótese do tempo exponencial. Se o novo algoritmo for válido, isso significaria que a hipótese do tempo exponencial está incorreta. Esse acontecimento demonstra que a inteligência artificial já pode propor algoritmos importantes e fornecer provas verificáveis em questões fundamentais da ciência da computação teórica. Se os resultados resistirem à validação, eles alterarão a percepção de longa data sobre a dificuldade de certos problemas computacionais. Atualmente, o artigo e as provas já foram tornados públicos para verificação adicional. Todo o processo mostra que o modelo pode realizar descobertas teóricas de alto nível de forma independente, embora a organização final ainda exija a intervenção humana.