Ce que le panneau peut faire en fait

Chaque siège — y compris l'arbitre — a les mêmes outils. L'arbitre doit être en mesure de vérifier une demande, et non pas seulement de peser la façon dont elle a été argumentée.

Recherche documentaire

arXiv, OpenAlex, Crossref, Europe PMC et Semantic Scholar — les sources primaires, pas les reformulations de blog d'entre eux. Maths, physique, CS, biologie, médecine, économie.

On dit aux sièges de vérifier ce qui est déjà prouvé avant de tenter eux-mêmes, parce que la re-dérivation d'un résultat connu gaspille votre argent.

Recherche sur le Web

Recherche auto-hostie avec restriction de site réel — demandez arxiv.org et vous obtenez arxiv.org, pas ce que le moteur a ressenti comme retour.

Les pages sont récupérées et lues, donc une citation peut citer le passage sur lequel elle repose réellement.

Code en boîte de sable

Python avec sympa, mpmath et numpy, de sorte qu'un siège peut vérifier un lien, rechercher un contre-exemple ou vérifier une étape algébrique au lieu de l'affirmer.

Exécute sans accès réseau, processeur et mémoire plafonnés.

Les mathématiques vont à côté

Ce site règle des revendications empiriques, où la preuve est une source ou une mesure. Un théorème n'est pas cela : il a besoin d'un terme de preuve qu'un noyau accepte, pas un cas bien argumenté.

Ainsi, les objectifs mathématiques appartiennent à notre site de frères et sœurs, qui fonctionne le même panneau et vérifie ensuite le résultat en Lean 4 contre Mathlib. theorem.chat

Escalade au lieu de deviner

Chaque siège peut aussi s'arrêter et demander de l'aide. Un modèle bloqué produit normalement un autre paragraphe qui reprend le dernier — à prix plein. Ici, il désigne la seule question qui le bloque et les mains que le siège est le mieux placé pour répondre, avec ce qu'il a déjà essayé. L'expert obtient la question et les résultats établis pertinents, pas l'argument qui a produit l'impasse, donc être bloqué coûte moins cher que de se disputer.

Et les outils de l'arbitre

Règle sur un critère, ajouter un but implique, diriger le prochain tour, ou terminer le match. Un critère ne peut être marqué sans preuve qu'un tiers pourrait revérifier — une citation avec le passage cité, ou un calcul avec sa sortie réelle. Ce refus est appliqué en code, pas demandé poliment dans une prompte.