Tetapkan tujuan.
Wasit yang memutuskan kapan selesai.

Seorang wasit yang memerintah atas bukti, bukan pada siapa yang terdengar lebih yakin.

Mulai pertandingan
Membuktikan klaim matematika? theorem.chat menjalankan panel yang sama dan kemudian meformalkan hasil dalam Lean melawan Mathlib, di mana kernel memutuskan.
Bukti, bukan pendapat

Setiap pencarian kursi pada literatur arXiv, OpenAlex, Crossref dan Europe PMC, membaca sumber, dan menjalankan Python untuk memeriksa aritmatika daripada menegaskan itu. Sebuah klaim dengan tidak dapat diperiksa kembali di belakangnya tidak dapat menyelesaikan sebuah kriteria.

Terjebak adalah langkah, tidak gagal

Ketika kursi menghantam dinding, ia berhenti dan tangan satu pertanyaan spesifik ke kursi mana pun sebaiknya ditempatkan untuk menjawabnya hanya dengan pertanyaan itu, bukan seluruh sejarah.

Tujuan panjang bertahan

Semuanya didirikan berjalan dalam buku besar bersama, sehingga tidak ada yang kembali berdenda dan tidak ada yang terlupakan.

Selesai cocok

6 kriteria · 2 putaran
Determine whether 561 is a Carmichael number, and state the general criterion that decides it.