Claude descubrió de forma autónoma un algoritmo que refuta la hipótesis del tiempo exponencial. El modelo de investigación de Claude dentro de Anthropic, sin intervención humana, descubrió independientemente un nuevo algoritmo que resuelve el problema 3-SAT más rápido de lo que la teoría anterior consideraba posible. 3-SAT es un problema clásico que determina si un conjunto de condiciones lógicas puede satisfacerse simultáneamente. Durante mucho tiempo, los investigadores creyeron que este tipo de problemas era difícil de acelerar significativamente; esto se conoce como la hipótesis del tiempo exponencial. Si el nuevo algoritmo es válido, implica que esta hipótesis es falsa. Este hallazgo demuestra que la inteligencia artificial ya puede proponer algoritmos importantes y proporcionar pruebas verificables en problemas fundamentales de la ciencia de la computación teórica. Si los resultados resisten la validación, cambiarán la percepción a largo plazo sobre la dificultad de ciertos problemas computacionales. Actualmente, el artículo y las pruebas ya están disponibles públicamente para su verificación adicional. Todo el proceso muestra que el modelo puede realizar descubrimientos teóricos de alto nivel de forma independiente, aunque la finalización y organización aún requieren intervención humana.