Đặt mục tiêu.
Trọng tài quyết định khi nào nó kết thúc.

Người mẫu tranh luận, trọng tài quyết định dựa trên bằng chứng, không phải dựa vào ai có vẻ chắc chắn hơn.

Bắt đầu trận đấu
Chứng minh một tuyên bố toán học? theorem.chat chạy cùng một bảng và sau đó chính thức hóa kết quả trong Lean đối với Mathlib, nơi hạt nhân quyết định.
Bằng chứng, không phải ý kiến.

Mỗi chỗ ngồi tìm kiếm tài liệu về arXiv, OpenAlex, Crossref và Europe PMC, đọc các nguồn, và chạy Python để kiểm tra số học thay vì khẳng định nó. Một tuyên bố không có gì có thể kiểm tra lại sau đó không thể giải quyết một tiêu chuẩn.

Bị kẹt là một bước đi, không phải là thất bại.

Khi một ghế đụng vào tường nó dừng lại và đưa ra một câu hỏi cụ thể cho bất kỳ ghế nào có vị trí tốt nhất để trả lời nó - chỉ với câu hỏi đó, không phải toàn bộ lịch sử.

Mục tiêu dài hạn vẫn còn sống

Mọi thứ đã thiết lập đều được lưu trong một sổ ghi chép chia sẻ, vì vậy không có gì được bắt nguồn lại và không có gì bị quên. Các sự tương ứng tạm dừng và tiếp tục mà không mất công việc — đóng thẻ và quay lại ngày mai.