LLM 能成為可證明的計算機嗎？ Percepta 證明了 Transformer 可以成為一台電腦。它實現了編譯權重、確定性執行，以及每秒 3 萬個 token 的處理速度。 但沒有人問過一個顯而易見的後續問題：如何確定它的計算是正確的？ 所以我建構了驗證層。一個 STARK 層證明了這一點 👇
本文為機器翻譯
展示原文
Christos Tzamos
@ChristosTzamos
03-12
1/4 LLMs solve research grade math problems but struggle with basic calculations. We bridge this gap by turning them to computers.
We built a computer INSIDE a transformer that can run programs for millions of steps in seconds solving even the hardest Sudokus with 100% accuracy
來自推特
免責聲明：以上內容僅為作者觀點，不代表Followin的任何立場，不構成與Followin相關的任何投資建議。
喜歡
收藏
評論
分享
