Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+6,1%
USELESS
USELESS-0,88%
IKUN
IKUN+3,32%
gib
gib+7,07%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,92%
ALON
ALON+2,59%
LAUNCHCOIN
LAUNCHCOIN-0,11%
GOONC
GOONC+5,7%
KLED
KLED-0,8%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-2,43%
Boopa
Boopa+1%
PORK
PORK+0,13%
abdel
abdel
21 giờ trước·
Liệu LLM có thể là máy tính CÓ THỂ CHỨNG MINH? Percepta đã chỉ ra rằng một transformer có thể LÀ một máy tính. Trọng số đã biên dịch, thực thi xác định, 30k token/giây. Nhưng không ai hỏi câu hỏi tiếp theo hiển nhiên: 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 đó 👇
Christos Tzamos
Christos Tzamos05:30 12 thg 3
1/4 LLMs giải quyết các bài toán toán học cấp nghiên cứu nhưng gặp khó khăn với các phép tính cơ bản. Chúng tôi thu hẹp khoảng cách này bằng cách biến chúng thành máy tính. Chúng tôi đã xây dựng một chiếc máy tính BÊN TRONG một transformer có thể chạy các chương trình trong hàng triệu bước chỉ trong vài giây, giải quyết ngay cả những Sudoku khó nhất với độ chính xác 100%.
Vấn đề với tính toán biên dịch là niềm tin. Bạn tin tưởng vào trình biên dịch. Bạn tin tưởng vào thời gian chạy. Bạn tin tưởng vào cơ chế chú ý. Nếu bất kỳ điều nào trong số này sai, đầu ra sẽ sai. Đây là vấn đề cổ xưa nhất trong máy tính. Bạn hoặc là tin tưởng vào máy móc hoặc là xác minh đầu ra. Chúng tôi đã xây dựng ba cấp độ xác minh: Cấp độ 1: Chương trình chạy bên trong bộ biến đổi (giống như Percepta) Cấp độ 2: Bốn động cơ độc lập sản xuất cùng một kết quả (bộ biến đổi, bản địa, Burn, ONNX) Cấp độ 3: Một chứng minh STARK xác minh việc thực thi mà không cần chạy lại nó.
7