Outro grande avanço na pesquisa de IA: a Physical Superintelligence afirma que seu sistema de pesquisa usou um modelo não público da Anthropic para provar a conjectura de Aaronson-Ambainis, um problema central da computação quântica em aberto desde 2008.
A Physical Superintelligence afirma que seu sistema de pesquisa com IA provou a conjectura de Aaronson-Ambainis, um problema central da computação quântica em aberto desde 2008, usando um modelo não público da Anthropic. Segundo a empresa, o sistema encontrou uma prova completa no terceiro dia de trabalho, e a versão final foi verificada com o assistente de provas Lean. Se a prova se confirmar, será um caso notável de IA resolvendo um problema aberto de longa data e esclarecendo quando os computadores quânticos podem alcançar uma vantagem exponencial sobre os clássicos.
FONTES
- Kim2026-11-06 16:01