#assistente di dimostrazione Lean
Articoli
Modelli
PSI afferma che il suo sistema di ricerca, con un modello Anthropic non pubblico, ha dimostrato la congettura di Aaronson-Ambainis; l'articolo verificato in Lean non è ancora sottoposto a revisione paritaria
PSI afferma che un modello Anthropic non pubblico ha dimostrato la congettura di Aaronson-Ambainis, verificata in Lean. Tesi di PSI; senza revisione.