Investigação
Anthropic divulga prova escrita pelo Claude que refutaria a Hipótese do Tempo Exponencial, verificada em Lean
A Anthropic publicou um artigo e uma formalização em Lean 4 segundo os quais um modelo interno do Claude descobriu um algoritmo determinístico subexponencial para o 3-SAT, o que derrubaria a Hipótese do Tempo Exponencial…