Gosod y nod.
Mae'r barnwr yn penderfynu pan mae'n gorffen.

Mae modelau'n dadlau. Mae barnwr yn penderfynu ar dystiolaeth, nid ar ba un oedd yn swnio'n fwy sicr.

Cychwyn gêm
A ddylid profi datganiad mathemategol? theorem.chat rhedeg y panel unffurf ac wedyn ffurfweddu'r canlyniad yn Lean yn erbyn Mathlib, lle mae'r cnewyllyn yn penderfynu.
Tystiolaeth, nid barn

Mae pob sedd yn chwilio'r llenyddiaeth ar arXiv, OpenAlex, Crossref a Europe PMC, yn darllen y ffynonellau, a rhedeg Python i wirio arithmetig yn hytrach na'i dyfarnu. Ni all datganiad heb unrhyw beth ail-ddilysadwy yn ei ôl drefnu meini prawf.

Symud yw'stwnsh', nid methiant

Pan mae sedd yn taro wal mae'n stopio a rhoi un cwestiwn penodol i'r sedd sy'n cael ei lleoli orau i ateb y cwestiwn - gyda'r cwestiwn hwnnw yn unig, nid y cyfan o'r hanes. Yn rhatach na gadael i'r model ddioddef, ac mae'n aml yn datgloi.

Mae'r nodau hir yn goroesi

Mae popeth sy'n cael ei sefydlu yn mynd i gyfrif cyfranedig, felly ni ddirwyn dim yn ôl ac ni ellir anghofio dim. Mae cydweddiadau yn seibio ac yn ailgychwyn heb golli gwaith - cau'r tab a dod yn ôl yfory.