Mira rất dễ bị hiểu nhầm vì điều đầu tiên bạn nghe về nó giống như một tập hợp quen thuộc của các từ: AI, xác minh, token, mạng. Tập hợp đó khiến mọi người đưa ra kết luận nhanh chóng rằng nó đang cố gắng trở thành một sản phẩm AI, hoặc một chuỗi AI, hoặc một mô hình mới sẽ cạnh tranh với những người lớn đã có. Nhưng Mira trông khác khi bạn xem nó ít như một mô hình và nhiều hơn như một nỗ lực chính thức hóa những gì có nghĩa là tin tưởng vào đầu ra của máy khi những rủi ro là có thật. Dự án không thực sự lập luận rằng máy móc không bao giờ nên sai. Nó lập luận rằng việc sai nên ngừng việc vô hình, và rằng chi phí của việc tin tưởng vào một máy nên ngừng được trả trong im lặng bởi người dùng, công ty, hoặc công chúng ở phía dưới.
Sự thật khó chịu mà Mira được xây dựng xung quanh là các mô hình hiện đại có tính thuyết phục theo mặc định. Chúng được đào tạo để tiếp tục các mẫu, để sản xuất văn bản mạch lạc, để nghe như một người biết những gì họ đang nói, và thẩm mỹ về năng lực đó vẫn tồn tại ngay cả khi nội dung đang trôi dạt. Mọi người gọi điều đó là ảo giác, nhưng nhãn hiệu có thể khiến nó cảm thấy như một sự cố thay vì một thuộc tính của hệ thống. Điểm khởi đầu của Mira gần hơn với một chẩn đoán cấu trúc: nếu một mô hình được thiết kế để lưu loát, thì sự lưu loát sẽ thường xuyên bị nhầm lẫn với độ tin cậy, và không có lượng đánh bóng giao diện nào thay đổi điều đó. Vì vậy, thay vì theo đuổi một tương lai tưởng tượng mà một mô hình đơn lẻ trở thành đáng tin cậy hoàn hảo, Mira cố gắng tạo ra sự tin tưởng thành một lớp riêng biệt có thể được yêu cầu, định giá và kiểm toán.
Đó là nơi mà dự án bắt đầu giống như một vấn đề phối hợp hơn là một sản phẩm. Trong quy trình làm việc AI bình thường, người dùng nhận được một đầu ra, quyết định xem nó có cảm giác đúng không, có thể yêu cầu nguồn gốc, có thể kiểm tra chéo, có thể không. Chi phí ẩn không chỉ là thời gian. Đó là sự không chắc chắn rò rỉ vào các quyết định, và sự chuyển giao rủi ro lặng lẽ từ hệ thống đã tạo ra câu trả lời sang người hành động dựa trên nó. Mira cố gắng kéo lại rủi ro đó vào hệ thống bằng cách biến xác minh thành một bước rõ ràng với các động lực riêng của nó. Ý tưởng rất đơn giản về tinh thần: nếu bạn muốn nhiều hơn sự hợp lý, bạn nên có thể yêu cầu một quy trình kiểm tra những gì đã được nói, và quy trình đó nên tạo ra một hồ sơ mà những người khác có thể kiểm tra sau này.
Cách mà Mira đến đó là bằng cách coi đầu ra không phải là một thứ đơn lẻ mà bạn chấp nhận hoặc từ chối, mà là một tập hợp các yêu cầu nhỏ hơn. Những yêu cầu đó có thể được kiểm tra độc lập bởi nhiều người tham gia, sử dụng các mô hình khác nhau, các cấu hình khác nhau, có thể là các hệ thống chuyên môn khác nhau, và sau đó được tổng hợp thành một phán quyết đồng thuận. Điểm tổng hợp không phải là giả vờ rằng phiếu bầu đa số bằng với sự thật theo một nghĩa triết học nào đó. Điểm này là để đưa cho bạn điều gì đó cụ thể hơn so với sự tự tin của một mô hình đơn lẻ: một tín hiệu có cấu trúc về sự đồng ý, không đồng ý và sự không chắc chắn, cộng với một dấu vết kiểm toán cho thấy cách mà tín hiệu được sản xuất.
Đây cũng là khoảnh khắc mà cơ chế tiền mã hóa ngừng làm đồ trang trí. Khi xác minh trở thành một dịch vụ phải trả phí, bạn cần một cách để phối hợp những người lạ thực hiện công việc, một cách để trừng phạt sự tham gia lười biếng hoặc không trung thực, và một cách để giữ cho hệ thống sống sót khi nó trở nên có ý nghĩa kinh tế để tấn công nó. Token, staking và phần thưởng không phải là “lý do” cho Mira nhiều như là công cụ mà nó sử dụng để biến xác minh thành một quyết định trách nhiệm thay vì một gợi ý dựa trên cảm xúc. Một người xác minh không được phép được yêu thích. Một người xác minh phải có trách nhiệm, theo nghĩa cụ thể rằng việc nói dối là tốn kém và hợp lý để chính xác theo thời gian.
Nhưng khoảnh khắc mà bạn thiết kế một mạng lưới thưởng cho sự đồng thuận, bạn thừa hưởng chế độ thất bại cũ nhất của các hệ thống đồng thuận: sự tuân thủ. Cách an toàn nhất để tránh bị trừng phạt là khớp với bất cứ điều gì mà mạng có xu hướng chấp nhận. Nếu các người xác minh được trả tiền chủ yếu để đồng ý với kết quả cuối cùng, một người xác minh hợp lý có thể học cách bắt chước đám đông thay vì tư duy độc lập. Toàn bộ lời hứa của Mira phụ thuộc vào việc tránh động lực đó, vì một mạng lưới xác minh tối ưu hóa cho sự đồng thuận trở thành một nhà máy đồng thuận, và một nhà máy đồng thuận có thể sai lầm một cách tự tin. Phiên bản khó chịu của vấn đề này là mạng có thể trông khỏe mạnh trên chuỗi trong khi sản xuất các chứng chỉ mà chủ yếu là bằng chứng về sự hội tụ xã hội.
Đó là lý do tại sao sự đa dạng mô hình không chỉ là một điểm cộng trong thiết kế này. Nó là một phần của giả định bảo mật. Lý thuyết là nếu các người xác minh khác nhau vận hành các hệ thống thực sự khác nhau, thì những sai sót của họ sẽ ít có tương quan hơn, vì vậy đồng thuận ít có khả năng sai theo cùng một hướng. Rủi ro thực tiễn là kinh tế có thể đẩy theo hướng ngược lại. Nếu việc vận hành một mô hình phổ biến cụ thể là rẻ nhất cho mỗi đơn vị xác minh và có khả năng khớp với đa số nhất, các người xác minh sẽ hội tụ vào nó. Theo thời gian, mạng có thể trở nên phân quyền về mặt vận hành nhưng đồng nhất về mặt trí tuệ, điều này là cách lịch sự để nói rằng nó có thể kết thúc lặp lại những điểm mù giống nhau với một dàn hợp xướng lớn hơn.
Nếu Mira muốn chống lại điều đó, nó phải tạo không gian cho sự chuyên môn mà không tạo ra một giáo hội. Có những lĩnh vực mà các mô hình tổng quát là tầm thường và các mô hình chuyên gia thì tốt hơn một cách có ý nghĩa, nhưng các chuyên gia có chi phí cao hơn và ít khối lượng hơn. Một lịch trình thưởng phẳng có xu hướng ưu ái bất kỳ ai có thể thực hiện nhiều kiểm tra nhất với giá rẻ nhất, điều này thường có nghĩa là những người tổng quát. Một lịch trình thưởng cố gắng trả nhiều hơn cho sự chuyên môn hiếm có phải quyết định cái gì được coi là chuyên môn và làm thế nào để chứng minh điều đó, và đó là nơi mọi thứ trở nên tinh tế. Nếu chuyên môn trở thành một nhãn được cấp bởi chính phủ, bạn có nguy cơ bị chiếm đoạt. Nếu chuyên môn được suy ra từ hiệu suất, bạn có nguy cơ mọi người tối ưu hóa theo hệ thống điểm thay vì theo sự thật. Dù bằng cách nào, thiết kế kinh tế cuối cùng cũng định hình các loại trí thông minh mà mạng có thể duy trì.
Có một điểm bản lề yên tĩnh thứ hai mà quan trọng hơn cả những gì hầu hết mọi người nhận ra: bước mà một đầu ra được biến thành các yêu cầu. Bước đó không trung lập. Nó quyết định những gì mà mạng thực sự chứng nhận. Một số tuyên bố là những sự thật rõ ràng. Nhiều cái thì bị ràng buộc theo ngữ cảnh. Một số là chính xác về mặt kỹ thuật nhưng gây hiểu nhầm. Một số chỉ đúng nếu bạn giữ nguyên sắc thái xung quanh. Nếu hệ thống rút ra các yêu cầu quá quyết liệt, nó sẽ lấy đi ý nghĩa, và việc xác minh trở nên nông cạn. Nếu nó rút ra quá bảo thủ, nó sẽ bỏ lỡ những sai lầm quan trọng và chứng nhận những phần dễ kiểm tra nhất. Nếu nó bảo tồn quá nhiều ngữ cảnh, nó có thể rò rỉ dữ liệu riêng tư cho các người xác minh. Nếu nó bảo tồn quá ít ngữ cảnh, nó có thể đánh giá sai những gì mà đầu ra thực sự ngụ ý. Đây là một trong những nơi mà các quyết định kỹ thuật một cách yên lặng trở thành quyết định chính sách, vì chúng xác định điều gì mà “được xác minh” được phép có nghĩa.
Điều đó liên kết với chính phủ theo cách nghiêm túc hơn so với cuộc thảo luận thông thường về người nắm giữ token. Trong một hệ thống phát hành chứng chỉ tin tưởng, chính phủ không phải là một đồ trang trí cộng đồng. Nó là hiến pháp cho cách các yêu cầu sự thật được xử lý, những ngưỡng nào được coi là chấp nhận được, sự không đồng thuận được đại diện như thế nào, và điều gì xảy ra khi các người xác minh chia rẽ. Ngay cả sự lựa chọn gán nhãn một cái gì đó là phụ thuộc vào ngữ cảnh thay vì sai là có hậu quả, vì nó thay đổi cách mà các sản phẩm có thể an toàn sử dụng kết quả. Nếu chính phủ dựa vào vốn chi phối những lựa chọn đó, thì những gì mà mạng chứng nhận sẽ không tránh khỏi trôi dạt về phía những gì mà các bên lớn cảm thấy thuận tiện. Điều đó không tự động khiến nó tham nhũng, nhưng điều đó có nghĩa là “phân quyền” không giống như “hợp pháp”. Tính hợp pháp phải được kiếm được thông qua các quy trình vẫn đáng tin cậy dưới áp lực.
Cách thực tiễn nhất để suy nghĩ về vị trí dài hạn của Mira là tập trung vào nơi mà xác minh có thể trở thành một chi phí mặc định thay vì một tính năng cao cấp. Mọi người không trả tiền cho sự chắc chắn khi cái giá phải trả là mơ hồ, bị trì hoãn hoặc là vấn đề của người khác. Họ trả tiền cho sự chắc chắn khi cái giá phải trả là ngay lập tức và tốn kém. Đó là lý do tại sao nhu cầu tự nhiên mạnh mẽ nhất không phải là cuộc trò chuyện bình thường, ngay cả khi một giao diện đa mô hình là một cách tốt để dạy người dùng thói quen kiểm tra chéo. Nhu cầu mạnh mẽ nhất nằm trong các quy trình làm việc mà một dấu vết kiểm toán đã là một phần của ngân sách: tài chính, các hoạt động nặng về tuân thủ, nghiên cứu thể chế, quyết định với hậu quả lớn, bất kỳ nơi nào mà “cho thấy công việc của bạn” không phải là một đặc điểm tính cách mà là một yêu cầu. Nếu Mira có thể ngồi trong những đường ống đó như một nguyên thủy xác minh có thể gọi được, mạng có cơ hội được hỗ trợ bởi các khoản phí phản ánh rủi ro thực sự, không chỉ bởi các động lực phụ thuộc vào tâm trạng thị trường.
Các rủi ro vẫn kiên quyết ngay cả trong khung cảnh nghiêm túc hơn đó. Các đối thủ sẽ thích nghi, không bằng cách tuyên bố những sai lầm rõ ràng, mà bằng cách định hình các đầu ra mà vượt qua các kiểm tra yêu cầu trong khi vẫn gây hiểu nhầm thông qua ngụ ý và sự thiếu sót. Các người xác minh có thể hội tụ vào cùng một chồng mô hình vì đó là điều mà kinh tế lặng lẽ thưởng. Chính phủ có thể trôi dạt về phía tiện lợi. Sự đa dạng có thể trở thành mỹ phẩm. Và rủi ro tinh tế nhất là mạng trở nên rất giỏi trong việc chứng nhận những gì dễ chứng nhận trong khi tạo ra một cảm giác an toàn giả về những gì khó. Một chứng chỉ có thể trở thành một đối tượng an ủi nếu người dùng ngừng hỏi điều đó thực sự bao gồm những gì.
Tuy nhiên, có điều gì đó sạch sẽ và gần như cổ điển về những gì mà Mira đang cố gắng thực hiện. Nó không hứa hẹn một thế giới mà máy móc luôn đúng. Nó đang cố gắng xây dựng một thế giới mà việc tin tưởng vào một máy không còn là một cú nhảy vô hình. Cược là bạn có thể thay thế sự chấp nhận mù quáng bằng một quy trình, thay thế sự nghi ngờ riêng tư bằng một dấu vết công khai, và thay thế sự đảm bảo mơ hồ bằng các động lực khiến độ chính xác trở thành một chiến lược ổn định. Nếu nó hoạt động thậm chí chỉ một phần, tác động của Mira sẽ không được đo bằng việc nó sản xuất những câu trả lời ấn tượng nhất. Nó sẽ được đo bằng việc nó làm cho câu hỏi thay đổi từ liệu điều này có nghe đúng không thành liệu điều này có thể được tính toán.