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

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

شروع مسابقه
اثبات يه ادعاي ریاضی؟ theorem.chat همان پنل را اجرا می‌کند و سپس نتیجه را در Lean در مقابل Mathlib رسمی می‌کند، جایی که هسته تصمیم می‌گیرد.
شواهد، نه نظرات

هر صندلی در ادبیات arXiv، OpenAlex، Crossref و Europe PMC جستجو می‌کند، منابع را می‌خواند و پایتون را برای بررسی حسابی به جای ادعا کردن آن اجرا می‌کند.

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

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

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

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

بازی‌های تمام‌شده