Endlich habe ich es geschafft, TOPLOC von @PrimeIntellect zu lesen (). Mein erster Gedanke ist, dass es wirklich elegant ist, ein asymmetrisches Verifizierungsprotokoll, bei dem die Anforderungen sowohl für den Beweiser als auch für den Prüfer wirklich günstig sind. Ich war ein wenig enttäuscht, dass @ezklxyz hier nicht erwähnt wurde.

Soweit ich mich erinnere, ist ezkl SOTA für verifizierbare Inferenz, obwohl es teurer und weniger flexibel in Bezug auf die Skalierung der Modelle ist, die es verifizieren kann.