文章分类: Ciência
A Physical Superintelligence (PSI) anunciou que um sistema interno com modelo não público da Anthropic encontrou a prova da conjectura de Aaronson-Ambainis, aberta desde 2008, e formalizou tudo no assistente de prova Lean.
阅读全文
文章分类: Inteligência Artificial
A Physical Superintelligence afirma que um sistema de IA interno rodando um modelo não público da Anthropic provou a conjectura de Aaronson-Ambainis, aberta desde 2008, com verificação no Lean. Prova conjectura quântica Anthropic IA.
阅读全文
文章分类: Ciência
Um sistema de pesquisa da Physical Superintelligence, com um modelo não público da Anthropic, encontrou uma prova da conjectura de Aaronson-Ambainis, aberta desde 2008. A prova foi verificada pelo assistente Lean, mas ainda não passou por revisão por pares.
阅读全文