Fixez le but.
Un arbitre décide quand c'est fait.

Un arbitre règle la preuve, pas qui a l'air sûr.

Démarrer une correspondance
Prouver une revendication mathématique? theorem.chat exécute le même panneau et formalise ensuite le résultat dans Lean contre Mathlib, où le noyau décide.
Preuves et non opinions

Chaque siège recherche la littérature sur arXiv, OpenAlex, Crossref et Europe PMC, lit les sources, et lance Python pour vérifier l'arithmétique au lieu de l'affirmer. Une revendication sans rien re-vérifiable derrière elle ne peut pas régler un critère.

C'est un coup, pas un échec.

Quand un siège frappe un mur, il s'arrête et pose une question précise à quel siège est le mieux placé pour y répondre — avec juste cette question, pas toute l'histoire.

Des buts longs survivent

Tout ce qui est établi va dans un grand livre partagé, donc rien n'est re-décerné et rien n'est oublié.