Liệu LLM có thể được CHỨNG MINH là máy tính? Percepta đã chứng minh rằng một transformer CÓ THỂ là một máy tính. Trọng số được biên dịch, thực thi xác định, 30.000 token/giây. Nhưng không ai hỏi câu hỏi hiển nhiên tiếp theo: làm thế nào bạn biết nó tính toán chính xác? Vì vậy, tôi đã xây dựng lớp xác minh. Một STARK chứng minh điều đó 👇
Bài viết này được dịch máy
Xem bản gốc
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
Từ Twitter
Tuyên bố từ chối trách nhiệm: Nội dung trên chỉ là ý kiến của tác giả, không đại diện cho bất kỳ lập trường nào của Followin, không nhằm mục đích và sẽ không được hiểu hay hiểu là lời khuyên đầu tư từ Followin.
Thích
Thêm vào Yêu thích
Bình luận
Chia sẻ
