هدف رو بگذار
یک داور تصمیم می‌گیرد که چه زمانی انجام شود.

مدل ها با هم بحث ميکنن داور بر اساس شواهد قضاوت ميکنه نه بر اساس اينکه کي مطمئن تر به نظر ميرسه

شروع مسابقه
اثبات يه ادعاي ریاضی؟ theorem.chat runs the same panel and then formalises the result in Lean against Mathlib, where the kernel decides.
شواهد، نه نظرات

Every seat searches the literature on arXiv, OpenAlex, Crossref and Europe PMC, reads the sources, and runs Python to check arithmetic instead of asserting it. A claim with nothing re-checkable behind it cannot settle a criterion.

گیر افتادن يه حرکته، نه شکست

وقتی یک صندلی به دیوار برخورد می کند، متوقف می شود و یک سوال خاص را به صندلی می دهد که بهترین موقعیت را برای پاسخ دادن به آن دارد - فقط با آن سوال، نه با تمام تاریخچه. ارزان تر از این است که بگذارید یک مدل خراب شود، و معمولاً مسدود نمی شود.

اهداف بلند مدت زنده مي مونن

همه چیزهایی که ایجاد می‌شوند در یک دفترچه مشترک قرار می‌گیرند ، بنابراین هیچ چیز دوباره بدست نمی‌آید و هیچ چیز فراموش نمی‌شود. تطابق‌ها بدون از دست دادن کار متوقف و ادامه می‌یابند — تب را ببندید و فردا برگردید.