文章分类: Inteligência Artificial
OpenAI e Anthropic publicaram alegados algoritmos subexponenciais para 3-SAT que, se confirmados, derrubariam a Exponential Time Hypothesis (ETH) de 1999. Os resultados, formalizados em Lean e ainda sob revisão independente, não resolvem P vs NP e têm impacto prático limitado por enquanto.
阅读全文
文章分类: Inteligência Artificial
Em 26 de outubro, a OpenAI anunciou três resultados gerados por IA, incluindo uma suposta refutação da Hipótese do Tempo Exponencial; horas depois, a Anthropic publicou uma refutação própria do mesmo problema. Nenhuma das provas passou ainda por revisão independente completa.
阅读全文
文章分类: Inteligência Artificial
OpenAI anunciou em 26 de outubro que um modelo interno produziu uma prova de que a Hipótese do Tempo Exponencial (ETH) é falsa. Horas depois, a Anthropic publicou paper próprio, creditado a Claude, com resultado semelhante encontrado no mesmo dia, 16 de outubro. Ambas incluem formalizações em Lean, mas a verificação independente ainda está em andamento.
阅读全文