Мақсатты орнатыңыз.
Рефери оны орындаған кезде шешім қабылдайды.

Модельдер бұл туралы пікір таласады. Арбитр дәлелдерге сүйеніп шешім қабылдайды, кімнің сөзі сенімдірек екеніне емес.

Ойын басталады
Математикалық мәліметті дәлелдеу? theorem.chat сол панелді орындап, нәтижесін Lean- да Mathlib- ге қарсы ресмилендіреді, онда өзегі шешім қабылдайды.
Деректер, пікір емес

Әрбір сеанс arXiv, OpenAlex, Crossref және Europe PMC- дің әдебиетін іздеу, көзін оқу, Python- ды арифметикалық тексеру үшін орындау үшін қолданылады. Кейін қайта тексеруге болмайтын талап критерийді шеше алмайды.

Қалдырған - бұл жылжу, ол қате емес

Бір орын қабырғаға соғылғанда, ол тоқтап, жауап беруге ең лайықты орынға бір сұрақ береді - тек осы сұрақ, барлық тарих емес. Бұл модельді тоздырып тастағаннан арзанырақ, және әдетте блокты шешеді.

Ұзын мақсаттар сақталады

Барлық құрылған мәліметтер ортақ журналға жазылады, сондықтан ештеңе қайта алынбайды, ештеңе ұмытылмайды. Түйістірулер жұмысты жоғалтпай тоқтап, қайта жалғасады - қойындыны жабып, ертең қайталаңыз.