حدد الهدف
الحكم يقرر متى ينتهي الأمر

النموذج يجادل في هذا الأمر. ويحكم المحكم على أساس الأدلة، وليس على من بدا أكثر يقينا.

..أبدأ المباراة
إثبات ادعاء رياضي؟ theorem.chat يقوم بتشغيل نفس اللوح ثم يقوم بإضفاء الطابع الرسمي على النتيجة في Lean مقابل Mathlib، حيث تقرر النواة.
الأدلة، لا الآراء

كل مقعد يبحث في المؤلفات حول arXiv، OpenAlex، Crossref، وEurope PMC، ويقرأ المصادر، ويشغل بايثون للتحقق من الحسابات بدلاً من تأكيدها. لا يمكن للادعاء الذي لا يوجد خلفه شيء قابل لإعادة التحقق من تسويته معياراً.

العرقلة هي حركة، وليس فشل

عندما يضرب مقعد الحائط، يتوقف ويسلم سؤالاً محدداً إلى أي مقعد يكون في أفضل وضع للإجابة عليه ـ مع هذا السؤال فقط، وليس التاريخ بأكمله. وهذا أرخص من ترك النموذج يختلط، وعادة ما يفتح الطريق.

الأهداف الطويلة الأجل تبقى

كل ما تم إنشاؤه يذهب إلى دفتر الأستاذ المشترك، لذلك لا شيء يعاد استخلاصه ولا شيء ينسى. تتوقف المطابقات وتستأنف دون فقدان العمل - أغلق العلامة والعودة غدا.