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相关的任何投资建议。
喜欢
收藏
评论
分享
