ตั้งเป้าหมาย
ผู้ตัดสินจะตัดสินว่าเมื่อไหร่มันจะจบ

แบบอย่างจะถกเถียงกัน ศาลจะตัดสินตามหลักฐาน ไม่ใช่ว่าใครฟังดูแน่ใจกว่า

เริ่มการแข่ง
พิสูจน์คำกล่าวอ้างทางคณิตศาสตร์? theorem.chat ใช้พาเนลเดียวกัน และจากนั้น ทำการทดสอบผลลัพธ์ใน Lean กับ Mathlib ที่เคอร์เนลตัดสินใจ
หลักฐาน ไม่ใช่ความคิดเห็น

ทุกๆ เซสชัน ค้นหาเอกสารเกี่ยวกับ arXiv, OpenAlex, Crossref และ Europe PMC, อ่านซอฟต์แวร์ต้นฉบับ และทำงาน Python เพื่อตรวจสอบการคำนวณ แทนที่จะอ้างว่ามัน คำอ้างที่ไม่มีอะไรที่สามารถตรวจสอบได้อีกครั้งหลังมันจะไม่สามารถกำหนดมาตรฐานได้

ติดอยู่คือการเคลื่อนไหว ไม่ใช่ความล้มเหลว

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

เป้าหมายยาวๆ ยังอยู่

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