ตรวจสอบสถานะ
ดูว่ามันกำลังทำอะไรอยู่ตอนนี้ →
เว็บไซต์ที่อ้างว่า "เซิร์ฟเวอร์ตรวจสอบ" มันควรจะบอกอย่างชัดเจนว่า คนตรวจสอบใครอยู่ ยังไม่ได้พิสูจน์ และ เราไม่สามารถทำการทดสอบในวันนี้.
| ตัวแยก (ต้องการก่อนที่จะทำการยื่นข้อเสนอ) | ใช้ได้ |
| Lean 4 + Mathlib (เครื่องมือเดียวที่สามารถตั้งค่า ∎) | ใช้ได้ |
| SageMath | ใช้ได้ |
| PARI/GP | ใช้ได้ |
| Z3 / SMT | ใช้ได้ |
| Python (กล่องทราย) | ใช้ได้ |
| เส้น (matplotlib) | ใช้ได้ |
| ค้นหาใน OEIS (เซิร์ฟเวอร์ของคนอื่น ดังนั้น ความพยายามที่ดีที่สุด) | ใช้ได้ |