Lo que el panel puede hacer realmente

Cada asiento —incluido el árbitro— recibe las mismas herramientas.El árbitro tiene que poder comprobar una reclamación, no sólo sopesar cómo se argumentó.

Búsqueda de literatura

arXiv, OpenAlex, Crossref, Europe PMC y Semantic Scholar — las fuentes primarias, no reexamen de blog de ellos. Matemáticas, física, CS, biología, medicina, economía.

Se les dice a los asientos que comprueben lo que ya está probado antes de intentarlo ellos mismos, porque volver a derivar un resultado conocido desperdicia su dinero.

Investigación en la Web

Búsqueda auto-anfitriona con restricción real del sitio — pida arxiv.org y usted consigue arxiv.org, no lo que el motor se sentía como volver.

Las páginas son buscadas y leídas, así que una citación puede citar el pasaje en el que realmente confía.

Código arenoso

Python con sympy, mpmath y nuppy, por lo que un asiento puede comprobar un atado, buscar un contraejemplo o verificar un paso algebraico en lugar de afirmarlo.

Se ejecuta sin acceso a la red, con CPU y memoria tapadas.

Matemáticas va al lado

Este sitio establece afirmaciones empíricas, donde la evidencia es una fuente o una medida. Un teorema no es eso: necesita un término de prueba que un núcleo acepta, no un caso bien argumentado.

Así que los objetivos matemáticos pertenecen a nuestro sitio hermano, que ejecuta el mismo panel y luego comprueba el resultado en Lean 4 contra Mathlib. theorem.chat

Escalando en vez de adivinar

Un modelo atascado normalmente produce otro párrafo que reafirma el último, a precio completo. Aquí se nombra la pregunta única que lo bloquea y se da a cualquier asiento que sea mejor para responder, junto con lo que ya ha intentado. El experto obtiene la pregunta y los resultados establecidos pertinentes, no el argumento que produjo el impasse, por lo que el estancamiento cuesta menos que discutir.

Y las propias herramientas del árbitro

Regla sobre un criterio, añadir uno que el objetivo implica, dirigir la siguiente ronda, o terminar el partido. Un criterio no puede ser marcado cumplido sin evidencia que un tercero podría volver a comprobar — una cita con el pasaje citado, o un cálculo con su salida real. Esa negativa se hace cumplir en código, no se pide educadamente en un aviso.