Постави циљ.
Судија одлучује када је то готово.

Models argue it out. A referee rules on evidence, not on who sounded surer.

Покрени поклапање
Доказује математичко тврдње? theorem.chat ради исти панел и онда формализује резултат у Лиан против Mathlib, где језгро одлучује.
Докази, а не мишљења.

Свако седиште тражи литературу на arXiv, OpenAlex, Crossref и Europe PMC, чита изворе и ради на Питону да га провери аритметику уместо да га потврди. Тврђење без ичега што се може поново проверити иза тога не може да израчуна критеријум.

Заглављен је потез, а не неуспех.

Када седиште удари у зид, зауставља се и предаје једно конкретно питање које је најбоље место да одговори на то питање — само са тим питањем, не са целом историјом.

Дуги циљеви преживљавају

Све успостављено иде у заједничкој књизи, тако да ништа није поново изведено и ништа није заборављено. Уклапа се пауза и наставља без губитка посла — затворите језичак и вратите се сутра.

Завршена поклапања

6 критеријуми · 2 кругови
Determine whether 561 is a Carmichael number, and state the general criterion that decides it.