Панельдің нақты істей алатын әрекеттері
Әрбір орын, соның ішінде судья да, бірдей құралдарды алады. Судья талапты тек қана қалай дәлелденгенін ғана емес, оны тексеруге де қабілетті болуы керек.
Әдебиеттерді іздеу
arXiv, OpenAlex, Crossref, Europe PMC және Semantic Scholar — негізгі көздер, олардың блогтағы қайталамалары емес. Математика, физика, ғылым, биология, медицина, экономика.
Оның айтуынша, егер ақшаны ақшаға айналдыру үшін ақшаны қайтадан пайдалану керек болса, онда оны қайтадан пайдалануға болмайды.
Веб- іздеу
Өз-өзіне хостинг іздеу шынайы сайт шектеуімен — arxiv.org сұраңыз және сіз arxiv.org табасыз, қозғалтқыш қайсысын қайтаруды қаласа да.
Бұл ретте, мәтінді оқуға және жазуға арналған программалық қамтамасыз ету, яғни программалық қамтамасыз ету деп аталады.
Құрамында құм бар код
Python sympy, mpmath және numpy- мен, сондықтан орын шектеулерді тексере алады, қарсы мысалдарды іздеуге немесе алгебралық қадамды тексеруге болады, оны дәлелдеудің орнына.
Желіге қосылусыз, процессор мен жады шектеулі күйде орындалады.
Математика келесі есіктен басталады
Бұл сайт эмпирикалық дәлелдеулерді, дәлелдеу көзі немесе өлшемі болып табылатындарды шешеді. Теорема деген бұл емес: ол үшін өзегі қабылдайтын дәлелдеу термині керек, жақсы дәлелденген жағдай емес.
Осылайша математикалық мақсаттар біздің іні сайтымызға тиесілі, ол сол панелді басқарады және Lean 4 нәтижесін Mathlib-мен салыстырады. theorem.chat
Сұрап алу орнына ескалатор
Әрбір орын да тоқтап, көмек сұрай алады. Қалдырған үлгі әдетте соңғы сұрақты қайталап, толық бағамен келесі абзацты шығарады. Мұнда ол оны бұғаттаған сұрақты атап, оны жауап беруге лайықты орынға тапсырады, ол сұрақпен бірге, ол сұрақпен жауап беруге тырысқан сұрақтарды да. Експерт сұрақ пен жауапты алады, бірақ, тоқтап қалған мәселені шешу үшін, мәселені шешу үшін қолданған аргументін емес, сондықтан, қақтығысу да, таласқаннан гөрі, ақылға қонымды.
және судьяның өз құралдары
Шартты орындау, мақсатты қосу, келесі айналымды бастау, немесе ойынды аяқтау. Шартты орындалған деп белгілеу үшін үшінші тараптың қайта тексере алатын дәлелі болу керек, мысалы, келтірілген фрагментпен сілтеме, немесе есептеу нәтижесімен есептеу. Бұл талап кодта орындалады, сұрауында әдемі түрде сұралмайды.