Nastavte si cieľ.
Rozhodca rozhodne, kedy je to hotové.

Rozhodca rozhoduje na základe dôkazov, nie na základe toho, kto vyzeral istejšie.

Začať zápas
Dokázať matematické tvrdenie? theorem.chat spustí rovnaký panel a potom formalizuje výsledok v Lean proti Mathlib, kde rozhoduje jadro.
Dôkazy, nie názory

Každé miesto prehľadáva literatúru o arXiv, OpenAlex, Crossref a Europe PMC, číta zdroje a spustí Python na kontrolu aritmetiky namiesto jej tvrdenia.Tvrdenie bez niečoho, čo sa dá za ním opätovne overiť, nemôže vyriešiť kritérium.

Zaseknutie je pohyb, nie zlyhanie

Keď sedadlo narazí na stenu, zastaví sa a odovzdá jednu konkrétnu otázku tomu sedadlu, ktoré je najlepšie umiestnené na zodpovedanie otázky – len s touto otázkou, nie s celou históriou.Je to lacnejšie ako nechať modelka, aby sa zbláznila a zvyčajne sa to odblokuje.

Dlhé ciele prežijú

Všetko, čo sa vytvorí, sa uloží do zdieľanej knihy, takže nič sa neodvodzuje znova a nič sa nezabudne.Zodpovedajúce odpovede sa pozastavia a obnovia bez straty práce – zatvorte kartu a vráťte sa zajtra.