Referee.chat نېمە؟

Referee.chat نى ئويناش ئارقىلىق مەقسەت يەتكۈزۈش. سىز خالىغانچە كۆپ AI مودىللىرىنى ئورۇنلاشتۇرالايسىز، ئىككى ياكى ئالتە، خالىغان شىركەتتىن، يەنە بىر مۇدىر. مۇدىر مۇھىم ئورۇندا تۇرىدۇ: ئۇ مەقسەت يەتكۈزۈلگەن ۋاقتىنى بەلگىلەيدۇ، ئۇ «ھازىرغىچە» دېگەندىن كۆپرەك «تېجەلدى» دېگەننى بىلدۈرىدۇ.

نېمە ئۈچۈن بىر رەھبەرلىك

بىر نەچچە مودېلدىن بىر ئېغىر سوئال سورىسىڭىز، توغرا ياكى خاتا ئىكەنلىكىنى ئېنىقلاش ئۈچۈن بىردىن بىر جاۋابنى ئالىدۇڭىز. بىر قانچە سوئال سورىسىڭىز، ئۇلار بىر-بىرى بىلەن كۆپىنچە ياقلىشىدۇ، بۇ بىر خىل تەشۋىق قىلىش بولۇپ، راست ئەمەس. مودېللەر تەشۋىق قىلىش ئۇچۇرلىرىنى ھەمبەھىرلەيدۇ، كۆزلۈك ئورۇنلارنى ھەمبەھىرلەيدۇ. شۇڭا سىزنىڭ تاللىشىڭىزغا قويۇلىدۇ: ھەر خىل شىركەتلەرنىڭ پىروگراممىلىرىنى بىرلەشتۈرۈپ ياسالغان بىر گۇرۇپپا ھەر خىل يولدا خاتالىق كۆرۈپ قالىدۇ، ئۇلارنىڭ ئارىسىدىكى پىكرىگە خىلاپلىق قىلىش سىزنىڭ دىققىتىنى تارتىدىغان بىر ئالامەت. خاتالىق ھالىتىدە، جاۋاب خاتا ئەمەس، بۇ ئۇسۇلدا ھېچقانداق بىر نەرسە خاتالىقنى بايقاپ قالمايدىغان بولىدۇ.

شۇڭا، مۇۋاپىقلىق نەتىجىسى مۇنازىرە سۈپىتىگە ئاساسەن ئەمەس. مەقسەت قوبۇل قىلىش ئۆلچىمىگە ئايرىلىدۇ، ئۆلچىمىنىڭ ئارقىسىدا بىرەر نەرسە بار بولسا، ئۇنداقتا مۇۋاپىقلىق نەتىجىسى پەقەت 3- تەرەپنىڭ تەكشۈرەلەيدىغان بىر نەرسە بولغاندالا ئېنىقلىنىدۇ: مەنبە ۋە مۇناسىۋەتلىك قىسىملار، ياكى ھەقىقەتەن ئىجرا قىلىنغان كود ۋە ئۇنىڭ ھەقىقىي چىقىرىلىشى. مۇۋاپىقلىق نەتىجىسى ھۆكۈم چىقىرىشتىن بۇرۇن مۇۋاپىقلىق نەتىجىسىنى تەكشۈرىدۇ. ئىشەنچ ھېچ نەرسىگە يەتمەيدۇ.

سىز سىزنى بەلگىلەيسىز

سىز تاللىغان ئۆلچەم سىزنىڭ، رەھبەرلەر بۇنى دەلىللەپ بېرىدۇ. قارار بېرىش دەرىجىسىگە يەتكۈدەك جاۋاب سوراپ، بىرىنى ئالسىڭىز بولىدۇ. Clay Prize تەكشۈرۈشىدىن ئۆتىدىغان ئىسپات سوراپ، راستچىللىق بىلەن نەتىجىگە ئېرىشسىڭىز، ئادەتتە بۇ كومىتېتنىڭ قايسى جايدا خاتالىق ئۆتكۈزگەنلىكىنى ئېنىق كۆرسىتىدۇ. بۇ، سىز ئۆزىڭىز تەكشۈرۈشكە تېگىشلىك بولغان ئىشەنچلىك ئېيتقان سۆزدىن تېخىمۇ پايدىلىق.

سىزنى كۈتۈۋاتىمەن

بىر ئورۇندۇق مۇنبەرنىڭ ديۋىزىيىگە ئۇچرىغاندا، ئۇ توختايدۇ ۋە بىر مەسىلىنى جاۋاب بېرىشكە ئەڭ ماس كېلىدىغان ئورۇندۇققا بېرىدۇ، ھەمدە بۇرۇنقى سىناقلارنىمۇ كۆرسىتىدۇ. بۇ سوئالنى ئەۋەتىدۇ، لېكىن يازما نۇسخىسىنى ئەمەس. سىز سىزىپ قويغان سوئالنى سىزىپ قويغاندا، مۇنبەرنىڭ سىزىقىنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن، بۇ سوئالنى سىزىپ قويغاندىن كېيىن

ئۇزۇن ئىش ساقلىنىپ قالىدۇ

سىز بۇ پروگراممىنى ئىشلىتىپ، سىز ئوينايدىغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، بىر قېتىمدا سىزغاندىن كېيىن، سىز ئوينايدىغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغاندىن كېيىن، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغاندىن كېيىن، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يەرگە يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئويۇنلارنىڭ ھەممىسىنى بىر يىغىپ، سىزغان ئوي

Referee.chat نىڭ Muddy Holdings LLC گە ئايلىنىشى مۇمكىن. ئالاقە قىلىش.

ئەگەر سىز ھەل قىلىشنى خالايدىغان ئىشىڭىز بىر قارار ياكى ئەدەبىي مەسىلە ئەمەس، بەلكى بىر رىقابەتچى ماتېماتىكا ئىسپاتلاش بولسا، بۇ تەڭشەك بۇ يەردە ئىشلەيدۇ theorem.chat, دەلىللەر Lean kernel تەرىپىدىن تەكشۈرۈلىدۇ.