#assistente de provas Lean
Artigos
Modelos
PSI diz que seu sistema de pesquisa, com um modelo da Anthropic não público, provou a conjectura de Aaronson-Ambainis; o artigo verificado em Lean ainda não passou por revisão por pares
A PSI diz que um modelo não público da Anthropic provou a conjectura de Aaronson-Ambainis, verificada em Lean. Alegação da PSI; sem revisão por pares.