GM! Các LLM ngày nay được thiết kế để tự tin. Chúng tạo ra các đoạn văn đầy đủ với những câu trả lời đã được chỉnh sửa mà không có cách nào tích hợp để xác minh từng phần.
Đó giống như việc tin tưởng một người rất thuyết phục nhưng không bao giờ xuất trình hóa đơn.
Thay vì cố gắng điều chỉnh một mô hình hoàn hảo, họ giả định rằng mọi mô hình đều có thể sai đôi khi. Vì vậy, họ làm cho nó có thể xác minh được bằng thiết kế.
Đầu tiên, họ chia nhỏ các đầu ra thành những yêu cầu nguyên tử.
Giả sử một #AI đưa cho bạn tuyên bố này: “Bitcoin là loại tiền điện tử được nắm giữ rộng rãi nhất, được tạo ra bởi Satoshi Nakamoto vào năm 2008.”
Mira không chỉ xem đó như một tuyên bố duy nhất. Nó phân tách thành các tuyên bố riêng biệt, có thể xác minh:
→ “Bitcoin là loại tiền điện tử được nắm giữ rộng rãi nhất”
→ “Bitcoin được tạo ra bởi Satoshi Nakamoto”
→ “Bitcoin được tạo ra vào năm 2008”
Mỗi điều đó có thể được kiểm tra xác thực độc lập bởi mạng lưới. Một điều có thể mang tính chủ quan như cách bạn định nghĩa được giữ nhiều nhất, một điều là sự thật như ai đã tạo ra nó, và một điều khác là về thời gian như khi nó được tạo ra.
Đó là sức mạnh của việc nhị phân hóa, biến những đầu ra mờ nhạt của AI thành những tuyên bố rõ ràng, có thể xác minh mà không phụ thuộc vào cảm xúc của mô hình.
Sau đó, họ gửi những yêu cầu đó qua một mạng lưới phi tập trung của các validator nhưng không có nút nào thấy được toàn bộ đầu vào. Đó là xác minh phân phối. Mỗi nút kiểm tra một phần, bảo vệ quyền riêng tư và đảm bảo rằng niềm tin không bị tắc nghẽn.
Vậy, làm thế nào để bạn giữ cho những người xác thực này trung thực? → Hãy để họ đặt cược.
Mỗi nút đều có phần da trong trò chơi. Nếu nó xác thực một ảo giác, nó sẽ bị trừng phạt. Đó là bằng chứng xác thực, biến suy luận thành công việc kinh tế thực sự, không chỉ là đầu cơ.
Và cuối cùng là sự đồng thuận thực sự: mọi mô hình phải gần như hoàn toàn đồng ý. Không phải 51%.
Mira yêu cầu sự đồng thuận gần như tuyệt đối giữa các mô hình được đào tạo độc lập.
Vì vậy, thay vì tin tưởng vào một mô hình thiên tài duy nhất có tất cả câu trả lời, Mira đã xây dựng một giao thức nơi nhiều đại lý không hoàn hảo thực hiện các kiểm tra kinh tế và toán học với nhau cho đến khi chỉ có sự thật còn lại.
Đó là một cỗ máy đồng thuận giúp thực tế mở rộng niềm tin.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
GM! Các LLM ngày nay được thiết kế để tự tin. Chúng tạo ra các đoạn văn đầy đủ với những câu trả lời đã được chỉnh sửa mà không có cách nào tích hợp để xác minh từng phần.
Đó giống như việc tin tưởng một người rất thuyết phục nhưng không bao giờ xuất trình hóa đơn.
Thay vì cố gắng điều chỉnh một mô hình hoàn hảo, họ giả định rằng mọi mô hình đều có thể sai đôi khi. Vì vậy, họ làm cho nó có thể xác minh được bằng thiết kế.
Đầu tiên, họ chia nhỏ các đầu ra thành những yêu cầu nguyên tử.
Giả sử một #AI đưa cho bạn tuyên bố này: “Bitcoin là loại tiền điện tử được nắm giữ rộng rãi nhất, được tạo ra bởi Satoshi Nakamoto vào năm 2008.”
Mira không chỉ xem đó như một tuyên bố duy nhất. Nó phân tách thành các tuyên bố riêng biệt, có thể xác minh:
→ “Bitcoin là loại tiền điện tử được nắm giữ rộng rãi nhất”
→ “Bitcoin được tạo ra bởi Satoshi Nakamoto”
→ “Bitcoin được tạo ra vào năm 2008”
Mỗi điều đó có thể được kiểm tra xác thực độc lập bởi mạng lưới. Một điều có thể mang tính chủ quan như cách bạn định nghĩa được giữ nhiều nhất, một điều là sự thật như ai đã tạo ra nó, và một điều khác là về thời gian như khi nó được tạo ra.
Đó là sức mạnh của việc nhị phân hóa, biến những đầu ra mờ nhạt của AI thành những tuyên bố rõ ràng, có thể xác minh mà không phụ thuộc vào cảm xúc của mô hình.
Sau đó, họ gửi những yêu cầu đó qua một mạng lưới phi tập trung của các validator nhưng không có nút nào thấy được toàn bộ đầu vào.
Đó là xác minh phân phối. Mỗi nút kiểm tra một phần, bảo vệ quyền riêng tư và đảm bảo rằng niềm tin không bị tắc nghẽn.
Vậy, làm thế nào để bạn giữ cho những người xác thực này trung thực? → Hãy để họ đặt cược.
Mỗi nút đều có phần da trong trò chơi. Nếu nó xác thực một ảo giác, nó sẽ bị trừng phạt. Đó là bằng chứng xác thực, biến suy luận thành công việc kinh tế thực sự, không chỉ là đầu cơ.
Và cuối cùng là sự đồng thuận thực sự: mọi mô hình phải gần như hoàn toàn đồng ý. Không phải 51%.
Mira yêu cầu sự đồng thuận gần như tuyệt đối giữa các mô hình được đào tạo độc lập.
Vì vậy, thay vì tin tưởng vào một mô hình thiên tài duy nhất có tất cả câu trả lời, Mira đã xây dựng một giao thức nơi nhiều đại lý không hoàn hảo thực hiện các kiểm tra kinh tế và toán học với nhau cho đến khi chỉ có sự thật còn lại.
Đó là một cỗ máy đồng thuận giúp thực tế mở rộng niềm tin.