Categories: 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.
Read more
Categories: Inteligência Artificial
OpenAI descobertas IA matemática incluem três avanços em conjecturas, refutação da ETH e física quântica, com verificação acadêmica colaborativa.
Read more
Categories: Inteligência Artificial
OpenAI descobertas IA incluem resultados em matemática (Kakeya/local smoothing), refutação da ETH em computação e prova de existência em QCD/física.
Read more
Categories: Inteligência Artificial
Empresa divulga resultados que incluem a refutação da Exponential Time Hypothesis, a resolução da conjectura de Kakeya em todas as dimensões e prova de existência de QCD, com formalizações em Lean e colaboração com especialistas.
Read more