O que o painel pode realmente fazer

Cada lugar — incluindo o árbitro — recebe as mesmas ferramentas. O árbitro tem de ser capaz de verificar uma reclamação, não apenas de pesar como foi argumentado.

Pesquisa de literatura

arXiv, OpenAlex, Crossref, Europe PMC and Semantic Scholar — the primary sources, not blog restatements of them. Maths, physics, CS, biology, medicine, economics.

Os lugares são mandados para verificar o que já é provado antes de tentar eles mesmos, porque re-decorrer um resultado conhecido desperdiça o seu dinheiro.

Investigação na Web

Procura auto-hosted com restrição real do site — pedir arxiv.org e você recebe arxiv.org, não o que o motor sentiu que desejava voltar.

Páginas são obtidas e lidas, assim uma citação pode citar a passagem que realmente se baseia.

Código de areia

Python com simpy, mpmath e numpy, para que um assento possa verificar um ligamento, procurar um contraexample ou verificar um passo algébrico em vez de a afirmar.

Execute sem acesso à rede, CPU placada e memória.

Matemática vai ao lado

Este site resolve as reivindicações empíricas, onde as evidências são uma fonte ou uma medida. Um teorema não é isso: precisa de um termo de prova que um kernel aceita, não um caso bem arguído.

Então, metas matemáticas pertencem ao nosso site de irmão, que executa o mesmo painel e, em seguida, verifica o resultado em Lean 4 contra Mathlib. theorem.chat

Escalando em vez de adivinhar

Cada assento pode também parar e pedir ajuda. Um modelo preso normalmente produz outro parágrafo que reafirma o último — a preço completo. Aqui ele nomeia a única questão bloqueando-a e mãos que a quem quer que seja melhor colocado para responder, juntamente com o que já tentou. O perito recebe a pergunta e os resultados estabelecidos relevantes, não o argumento que produziu o impasse, por isso, ser preso custos menos do que argumentar.

E as próprias ferramentas do árbitro

Regra sobre um critério, acrescentar um o objetivo implica, dirigir a próxima ronda ou terminar a correspondência. Um critério não pode ser marcado sem provas que um terceiro poderia re-controlar — uma citação com a passagem citada, ou um cálculo com a sua produção real. Essa recusa é aplicada em código, não solicitada educadamente em um prompt.