Helburua finkatu.
Epaile batek erabakitzen du noiz bukatu.

Epaile batek froga bidez erabakitzen du, ez norbaitek ziurrago jokatu zuenaren arabera.

Hasi partida bat
Matematika frogatzea? theorem.chat panel bera exekutatzen du eta ondoren emaitza Lean-en formalizatzen du Mathlib-en aurka, non kernelak erabakitzen duen.
Ebidentzia, ez iritziak

Eserleku bakoitzak arXiv, OpenAlex, Crossref eta Europe PMC-en literatura bilatzen du, iturburuak irakurtzen ditu eta Python exekutatzen du aritmetika egiaztatzeko, baieztatu beharrean. Atzean berriro egiaztatzerik ez duen deklarazio batek ezin du irizpide bat ebatzi.

Harrapatuta egotea mugimendu bat da, ez porrot bat.

Eserleku batek horma jotzen duenean gelditzen da eta galdera zehatz bat ematen dio erantzuna emateko lekurik onena duen eserlekuari. Galdera horrekin bakarrik, ez historia osoarekin. Modelo bat hondatzen uztea baino merkeagoa da, eta normalean blokeoa desagertzen da.

Helburu luzeak bizirik irauten du

Ezarritako guztia liburu partekatu batean sartzen da, beraz, ezer ez da berriro eratorri eta ezer ez da ahaztu. Bat-egiteak pausatu eta berriro hasten dira lana galdu gabe - itxi fitxa eta itzuli bihar.