Che cos'è Referee.chat

Referee.chat esegue un gol oltre un pannello. Si posti tutti i modelli AI come si desidera... due, o sei, da qualsiasi fornitore ti piace... e un arbitro più. L'arbitro è la parte che conta: decide quando l'obiettivo è veramente compiuto, e si è costruito per dire 'non ancora' molto più spesso di quanto dice 'fatto'.

Perché un arbitro

Chiedi a un modello una domanda difficile e ottieni una risposta fluente se è giusto o no. Chiedi a molti e spesso sono d'accordo tra loro, che si sente come una conferma e non è modelli. • condividere i dati di allenamento e punti ciechi. Ecco perché i sedili sono a tua scelta: un pannello disegnato da diversi fornitori fallisce in direzioni diverse, e il disaccordo tra di loro è un segnale degno di essere avuto. La modalità di guasto non è che la risposta è sbagliata; è che nulla nel processo sarebbe mai stato quello di catturare essere sbagliato.

Quindi una partita non è segnata sulla qualità degli argomenti. L'obiettivo è decomposto in criteri di accettazione, e un criterio è risolto solo quando c'è qualcosa dietro di esso che una terza parte potrebbe ricontrollare: una fonte con il passaggio citato, o codice che è stato effettivamente eseguito e il suo output reale. L'arbitro ricontrolla che si evidenzia prima di decidere. La fiducia conta nulla.

Hai impostato il bar

Lo standard è tuo scegliere, e l'arbitro lo tiene letteralmente. Chiedi una risposta di grado decisionale e si ottiene uno. Chiedi una prova che sopravviverebbe allo scrutinio del premio Clay e il risultato onesto è di solito un resoconto preciso di dove il pannello è caduto corto.

Restare bloccato è parte di esso

Quando un sedile colpisce un muro si ferma e si mette una domanda specifica a quale posto è meglio per rispondere, insieme a quello che ha già provato. Invia la domanda, non la trascrizione. I modelli thrash quando bloccato

Il lavoro lungo sopravvive

Tutto ciò che il pannello stabilisce va in un registro condiviso, in modo che i risultati siano scritti una volta e mai ri-derivati, e vicoli morti sono registrati in modo che nessuno rientra in loro. Corrisponde eseguire server-side e fermare cleanly Hoppenstedt sul budget, su un fornitore di interruzione, o perché hai chiuso la scheda Hoppenstedt e riprendere esattamente dove si sono fermati.

Referee.chat è gestito da Muddy Holdings LLC. Contattaci..

Se il lavoro da risolvere è una prova matematica formale piuttosto che una decisione o una domanda di letteratura, lo stesso gruppo si svolge a theorem.chat, dove le prove sono controllate dal kernel Lean.