Referee.chat คืออะไร

Referee.chat ทำหน้าที่ตามเป้าหมายผ่านพ้นพาเนล คุณสามารถตั้งตัวอย่าง AI เท่าที่คุณต้องการ - สองหรือหกตัวอย่าง จากผู้ขายที่คุณชอบ - และผู้ตัดสินอีกคนหนึ่ง ผู้ตัดสินเป็นส่วนที่สำคัญ: มันตัดสินใจเมื่อเป้าหมายถูกทำสำเร็จจริงๆ และมันถูกสร้างขึ้นเพื่อพูดว่า 'ยังไม่ได้' บ่อยกว่าที่มันจะพูดว่า 'เสร็จแล้ว'

ทำไมต้องเป็นผู้ตัดสิน

ถามแบบจำลองหนึ่งคำถามที่ยาก และคุณจะได้รับคำตอบที่คล่องแคล่ว ว่ามันถูกต้องหรือไม่ ถามหลายๆ ตัว และพวกเขามักจะเห็นด้วยกัน มันรู้สึกเหมือนการยืนยัน และมันไม่ใช่ - แบบจำลองแบ่งปันข้อมูลการฝึกอบรม และแบ่งปันจุดบอด นั้นคือเหตุผลที่คุณเลือกที่นั่ง: กล่องที่ถูกวาดจากผู้ขายที่แตกต่างกันล้มเหลวในทิศทางที่แตกต่างกัน และความไม่เห็นด้วยระหว่างพวกเขาเป็นสัญญาณที่คุ้มค่าที่จะมี โหมดล้มเหลว ไม่ใช่ว่าคำตอบผิด มันคือว่าไม่มีอะไรในกระบวนการที่จะจับมันได้ว่ามันผิด

ดังนั้น การจับคู่จึงไม่ถูกประเมินด้วยคุณภาพของข้อโต้แย้ง เป้าหมายจะถูกแยกออกเป็นหลักการยอมรับ และหลักการจะถูกตัดสินเมื่อมีบางอย่างที่อยู่เบื้องหลังมัน ซึ่งผู้ที่สามสามารถตรวจสอบได้อีกครั้ง: แหล่งที่มากับส่วนที่เกี่ยวข้องที่อ้างอิง หรือโค้ดที่ถูกประมวลผลจริง ๆ และผลลัพธ์จริง ๆ ของมัน ผู้ตัดสินจะตรวจสอบหลักฐานนั้นอีกครั้งก่อนที่จะตัดสิน ความเชื่อมั่นจะไม่นับเป็นอะไรเลย

นายตั้งมาตรฐาน

ความจริงที่ว่า มันเป็นไปไม่ได้ที่จะ ทำลายความเชื่อมั่นของผู้คน ด้วยการให้ความสำคัญกับ ความเชื่อมั่นของพวกเขา

มันเป็นส่วนหนึ่งของการติดขัด

เมื่อที่นั่งชนกำแพง มันจะหยุด และส่งคำถามเฉพาะหนึ่งคำถามไปยังที่นั่งที่อยู่ในตำแหน่งที่ดีที่สุดในการตอบคำถามนี้ ร่วมกับสิ่งที่มันได้พยายามแล้ว มันจะส่งคำถาม ไม่ใช่การตีความ โมเดลจะหยุดเมื่อติดขัด - พูดตัวเองอีกครั้งด้วยค่าใช้จ่ายเต็ม - และนี่จะแปลงมันเป็นคำถามที่ตั้งเป้าหมาย ซึ่งปกติจะเปิดบล็อก, สำหรับส่วนหนึ่งของท็อคเกอร์

งานที่ยาวนานก็จะรอด

ทุกอย่างที่พาเนลตั้งขึ้น เข้าไปในบัญชีร่วมกัน ดังนั้นผลลัพธ์จะถูกเขียนครั้งเดียว และไม่เคยนำมาใช้ใหม่ และจุดจบจะถูกบันทึก ดังนั้นไม่มีใครเดินกลับไปยังมัน การค้นหาที่ตรงกัน ทำงานบนเซิร์ฟเวอร์ และหยุดชะงักอย่างสะอาด - ตามงบประมาณ, เนื่องจากผู้ให้บริการหยุดทำงาน หรือเพราะคุณปิดแท็บ - และกลับมาที่ที่พวกเขาหยุด

Referee.chat ถูกควบคุมโดย Muddy Holdings LLC ติดต่อมา.

ถ้างานที่คุณต้องการจะทำ คือการพิสูจน์ทางคณิตศาสตร์ มากกว่าการตัดสินใจ หรือคำถามทางวรรณกรรม กลุ่มเดียวกันก็จะทำงานที่ theorem.chat, ที่พิสูจน์ได้ว่าถูกตรวจสอบโดย Lean kernel