LLMは証明可能なコンピュータになり得ますか? Perceptaはトランスがコンピュータになり得ることを示しました。コンパイルされた重み、決定的実行、3万トークン/秒。 しかし、誰も明らかな続問をしませんでした。つまり、どうして正しく計算されたとわかるのか? そこで検証レイヤーを構築しました。それを証明👇するSTARKが

コンパイルされた計算の問題は信頼です。 コンパイラを信頼します。上映時間を信頼します。あなたは注意の仕組みを信頼しています。これらのどれかが間違っているなら、出力も間違っています。 これはコンピュータで最も古い問題です。機械を信頼するか、出力を検証するかのどちらかです。 私たちは3つの検証レベルを構築しました。 レベル1:プログラムはトランス内で動作します(Perceptaと同じ) レベル2:4つの独立したエンジンが同じ結果を出す(トランス、ネイティブ、バーン、ONNX) レベル3:STARK証明は再実行せずに実行を検証します