Obserwowałem rundę weryfikacyjną w sieci Mira, kiedy zwróciłem uwagę na coś interesującego. System nie spieszył się z potwierdzeniem wyniku. Twierdzenie było nieco poniżej progu konsensusu, czekając na więcej weryfikatorów, aby potwierdzili swoje zdanie. Na początku wydawało mi się, że to tylko opóźnienie. Potem zdałem sobie sprawę, że to coś innego: dyscyplina. Ten moment skłonił mnie do myślenia o jednym z największych problemów współczesnej sztucznej inteligencji. Wiele systemów udziela odpowiedzi z nadmierną pewnością, nawet gdy są one błędne. Reagują szybko, ale rzadko mają mechanizm, który zmusza je do udowodnienia swoich wniosków. Mira podchodzi do tego inaczej. Zamiast traktować wyniki sztucznej inteligencji jako absolutną prawdę, sieć dzieli te wyniki na mniejsze jednostki zwane twierdzeniami. Twierdzenia te są oceniane przez rozproszonych weryfikatorów, a tylko wtedy, gdy osiągnięty zostanie wystarczający konsensus oparty na udziałach, wynik jest weryfikowany. Na przykład, jeśli udział części wynosi 62%, podczas gdy próg to 67%, sieć po prostu czeka. Nie twierdzi o pewności.

MIRAUSDT

Perp

0.08026

-1.59%