ئامانج دیاری بکە
دادوەر بڕیار دەدات کاتێک تەواو دەبێت.

مۆدێلەکان باسیان لێ دەکەن، دادوەر بڕیار دەدات لەسەر بەڵگە، نەک لەسەر ئەوەی کە کێ بە دڵنیاییەوە دەنگی دایەوە

دەست پێکردنی یارییەک
باوەڕپێکردنی ڕاستییەکی بیرکاری؟ 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.

بەستراوەکە جوڵەیەکە، نەک شکست

کاتێک کورسییەک بە دیوارێک دەکەوێتە بەر، دەوەستێت و پرسیارێکی تایبەت دەدات بە هەر کورسییەک کە باشترین شوێنی هەیە بۆ وەڵامدانەوەی ئەو پرسیارە تەنها ئەو پرسیارە، نەک هەموو مێژوویەکە، کەمتر گرانە لە هێشتنەوەی مۆدێلێک بۆ ئەوەی بشکێت، وە بە گشتی ڕێگە پێدەدرێت.

ئامانجە درێژەکان دەژین

هەموو شتێک کە دروست دەکرێت لە کتێبی هاوبەشدا دەچێت، بۆیە هیچ شتێکی تر دروست ناکرێت و هیچ شتێک لەبیرناچێت. گونجاوەکان ڕادەوەستێن و بەردەوام دەبن بەبێ لەدەستدانی کار - پەڕەکە ببەستەوە و سبەینێ بگەڕێەوە.