A IA quebra um pilar de 27 anos da ciência da computação, afirmam OpenAI e Anthropic
A OpenAI e a Anthropic afirmam que seus modelos produziram uma aparente refutação da hipótese do tempo exponencial, um pilar da ciência da computação teórica proposto em 1999, com provas verificadas formalmente em Lean, mas ainda não totalmente confirmadas por humanos. A Science informa que a Anthropic contou mais de 800 artigos que assumem a hipótese, embora seu impacto prático seja limitado por enquanto. Isso importa porque abala um fundamento teórico de longa data e mostra sistemas de IA de ponta alcançando uma fronteira disputada da matemática, mesmo com a verificação ainda incompleta.
FONTES
- Hacker News (AI)2026-11-03 17:43