Նախատեսեք նպատակը։
Դատավորը որոշում է, թե երբ պետք է դադարեցնել։

Մասնակիցները քննարկում են, դատավորը որոշում է փաստերի հիման վրա, ոչ թե այն բանի վրա, թե ով է ավելի վստահ ձայնով խոսում։

Սկսել խաղը
Մատենագիտական պնդում ապացուցելը։ theorem.chat ընթանում է նույն պրոցեսը և հետո ֆորմալացնում արդյունքը Lean-ում Mathlib-ի դեմ, որտեղ kernel-ը որոշում է։
Պատճառներ, ոչ թե կարծիքներ

Յուրաքանչյուր տեղում փնտրում է գրականություն arXiv, OpenAlex, Crossref և Europe PMC համար, կարդում է աղբյուրները և ընթանում Python-ը հաշվարկները ստուգելու համար, փոխարենը այն պնդելու համար։ Պատճառը, որի հետևում ոչինչ չկա, որը կարող է վերահսկվել, չի կարող լուծել սկզբունքը։

Ձախողվելը քայլ է, ոչ թե ձախողում

Երբ նստարանը պատին է բախվում, այն կանգ է առնում և մի հարց է տալիս այն նստարանին, որը լավագույն պատասխանն է տալիս՝ միայն այդ հարցով, ոչ թե ամբողջ պատմությամբ։ Դա ավելի էժան է, քան մոդելի մոռանալը, և սովորաբար այն բաց է թողնում արգելքը։

Չորս դարպասները ողջ են մնում

Ամեն ինչ, ինչ ստեղծվում է, գնում է կիսաշրջանառության գրասենյակ, այնպես որ ոչինչ չի վերարտադրվում և ոչինչ չի մոռացվում։ Համապատասխանությունները դադարում են և վերսկսվում առանց աշխատանքի կորստի՝ փակեք վահանակն ու վերադառնաք վաղը։