Мақсадни белгиланг.
Қачон тугашига ҳакам қарор қилади.

Модельлар буни муҳокама қиладилар, ҳакамлар эса далилларга қараб қарор қабул қиладилар, кимнинг овози ишончлироқ эканига эмас.

Ўйинни бошлаш
Математикавий даъво исботлаш? theorem.chat шу панелни ишга туширади ва кейин натижани Lean'да Mathlib'га қарши формаллаштиради, бу ерда ядрo қарор қабул қилади.
Ҳужжатлар, фикрлар эмас

Ҳар бир ўрин arXiv, OpenAlex, Crossref ва Europe PMC бўйича адабиётни қидиради, манбаларни ўқийди ва Python'ни аритметикани текшириш учун ишга туширади. Унинг ортида қайта текшириладиган нарса йўқ.

Тутилиб қолиш ҳаракат, хато эмас

Агар ўриндиқ деворга урилганда, у тўхтайди ва жавоб бериш учун энг яхши жойга жойлашган ўриндиқга бир саволни беради - фақат шу савол билан, бутун тарихни эмас. Бу моделни тошга айланишига қўйишдан арзонроқ ва одатда блокни ёпади.

Умумий мақсадлар сақланиб қолади

Барча белгиланганлар умумий ҳисобга киради, шунинг учун ҳеч нарса қайта олингани йўқ ва ҳеч нарса унутилмаган. Ўйнашувлар ўчириш ва иш йўқотмасдан давом эттирилади - тасмани ёпинг ва эртага қайтинг.