Tetapkan matlamat.
Penilai memutuskan bila ia selesai.

Model berhujah, hakim akan menilai berdasarkan bukti, bukan siapa yang lebih yakin.

Mulakan perlawanan
Membuktikan satu tuntutan matematik? theorem.chat jalankan panel yang sama dan kemudian formalkan hasil dalam Lean terhadap Mathlib, di mana kernel memutuskan.
Bukti, bukan pendapat

Setiap kerusi mencari literatur pada arXiv, OpenAlex, Crossref dan Europe PMC, membaca sumber, dan jalankan Python untuk semak aritmatika bukannya menyatakannya. Kenyataan tanpa apa-apa yang boleh diperiksa semula di belakangnya tidak dapat menyelesaikan kriteria.

Terperangkap adalah satu pergerakan, bukan kegagalan

Apabila sebuah kerusi bertembung dengan dinding ia berhenti dan memberikan satu soalan khusus kepada mana-mana kerusi yang paling sesuai untuk menjawabnya - dengan hanya soalan itu, bukan seluruh sejarah. Lebih murah daripada membiarkan model terbuang, dan ia biasanya membuka.

Gol panjang bertahan

Semua yang ditubuhkan pergi ke buku besar berkongsi, jadi tiada apa yang diperoleh semula dan tiada apa yang dilupakan. Pertandingan jeda dan teruskan tanpa kehilangan kerja - tutup tab dan kembali esok.