Kolik je Referee.chat?

Referee.chat běží cíl kolem panelu. Sedíte tolik modelů AI, jak chcete,? dva, nebo šest, z toho, co prodejce máte rádi? a jeden další rozhodčí. Rozhodčí je část, která záleží: rozhoduje, kdy je cíl skutečně splněn, a je postaven říci " ještě ne" mnohem častěji, než se říká "prodáno."

Proč rozhodčí

Zeptejte se jednoho modelu těžké otázky a dostanete plynulou odpověď, zda je správné nebo ne. Zeptejte se několika a často se vzájemně souhlasí, což cítí jako potvrzení a není? modely sdílet údaje a sdílet slepé skvrny. To je důvod, proč sedadla jsou vaše vybrat: panel vytažený z různých prodejců selže v různých směrech, a neshoda mezi nimi je signál stojí za to mít. Režim selhání není, že odpověď je špatně; je to, že nic v tomto procesu se nikdy chytit, že je špatně.

Takže zápas není vstřelen na kvalitu argumentu. Cíl je rozložen do kritérií přijetí, a kritérium je vyřešeno pouze tehdy, když je za ním něco třetí strana by mohla znovu zkontrolovat: zdroj s příslušnou pasáží citovaný, nebo kód, který byl skutečně proveden a jeho skutečný výstup. Rozhodčí znovu zkontroluje, že důkazy, které sám před rozhodováním. Sebedůvěra počítá za nic.

Ty jsi nastavil bar.

Standard je vaše volba, a rozhodčí drží doslova. Požádejte o odpověď na rozhodnutí-třída a dostanete jeden. Požádejte o důkaz, který by přežil Clay Prize přezkoumání a čestný výsledek je obvykle přesný účet o tom, kde panel se nedodržel?, což je užitečnější než sebevědomý nárok, budete muset zkontrolovat sami tak jako tak.

Zaseknout se je součástí toho.

Když sedadlo zasáhne zeď, zastaví se a pustí jednu konkrétní otázku na to, které sedadlo je nejlepší místo k odpovědi, spolu s tím, co již zkoušel. Pošle otázku, ne přepis. Modely thrash, když uvízli?? přebudování sami za plnou cenu?? a to přeměňuje, že v cílenou otázku, která obvykle odblokuje, na zlomek žetonů.

Dlouhá práce přežívá

Vše, co panel stanoví jde do sdílené účetní knihy, takže výsledky jsou napsány jednou a nikdy znovu získané, a mrtvé konce jsou zaznamenány, takže nikdo vejde zpět do nich. Matches běží server-strana a pauza čistě? na rozpočet, na poskytovatele výpadek, nebo protože jste uzavřeli kartu? a obnovit přesně tam, kde se zastavili.

Referee.chat je provozováno Muddy Holdings LLC. Ozvi se..

Pokud práce, kterou potřebujete vyřešen, je formální matematický důkaz, spíše než rozhodnutí nebo otázka literatury, stejný panel běží na theorem.chat, kde jsou důkazy zkontrolovány jádrem Lean.