Apple Machine Learning Research hat eine neue Studie vorgestellt, die sich mit Näherungsbeweisen befasst, die mit minimalem Ressourceneinsatz erstellt und verifiziert werden können. Diese Beweise ermöglichen die Überprüfung approximativer Aussagen über große Datenmengen, was insbesondere in Situationen wichtig ist, in denen eine schnelle Informationsverarbeitung erforderlich ist.

Die in der Studie untersuchten Näherungsbeweise erfordern zum Erstellen nur das Lesen eines kleinen Teils der Eingabedaten. Die Verifizierung des Beweises ist noch effizienter, da sie das Lesen einer noch geringeren Datenmenge erfordert. Dies macht sie besonders nützlich für die Verarbeitung großer Informationsmengen, bei denen Geschwindigkeit und Effizienz von entscheidender Bedeutung sind.