#asistente de pruebas Lean
Artículos
Modelos
PSI afirma que su sistema de investigación, con un modelo de Anthropic no público, demostró la conjetura de Aaronson-Ambainis; el artículo verificado en Lean aún no tiene revisión por pares
PSI afirma que un modelo no público de Anthropic demostró la conjetura de Aaronson-Ambainis, verificada en Lean. Afirmación de PSI; sin revisión.