Forscher entwickeln bedingungslose Verifikationstests für Quantensampling-Vorteil unter Verwendung von Single-Bit- und Paarkorrelationen, mit maschinengeprüften Beweisen in Lean 4 und identifizierten Wegen zur vollständigen Korrektheit.
@informaq-de.bsky.social