Šta panel zapravo može da uradi

Svako sjedalo - uključujući i suca - dobiva iste alate.Suca mora biti u stanju da provjeri tvrdnju, a ne samo da odvagnu kako je argumentirana.

Pretraga literature

arXiv, OpenAlex, Crossref, Europe PMC i Semantic Scholar - primarni izvori, ne blog recitements od njih. matematika, fizika, CS, biologija, medicina, ekonomija.

Sjedištima je rečeno da provjere ono što je već dokazano prije nego što to sami pokušaju, jer ponovno izvođenje poznatog rezultata troši novac.

Web-istraživač

Pretraživanje na vlastitom serveru sa ograničenjem na stvarne stranice - tražite arxiv.org i dobit ćete arxiv.org, a ne ono što je tražilica smatrala da će vratiti.

Stranice se dohvaćaju i čitaju, tako da citat može citirati odlomak na koji se zapravo oslanja.

Sandboxed kod

Python sa sympy, mpmath i numpy, tako da sjedište može provjeriti granicu, potražiti protuprimjer ili provjeriti algebarski korak umjesto da ga tvrdi.

Nema mrežnog pristupa, ograničen CPU i memorija.

Matematika ide pored vrata.

Ova stranica rješava empirijske tvrdnje, gdje je dokaz izvor ili mjerenje. Teorem nije to: treba mu dokazni termin koji kernel prihvaća, a ne dobro argumentirani slučaj.

Matematički ciljevi pripadaju našoj sestrinoj stranici, koja pokreće isti panel i onda provjerava rezultat u Lean 4 protiv Mathlib. theorem.chat

Eskalirati umjesto nagađanja

Svako sjedalo može također stati i zatražiti pomoć. Zaglavljeni model obično proizvodi drugi paragraf koji ponavlja zadnji — po punoj cijeni. Ovdje on naziva jedno pitanje koje ga blokira i predaje ga onome sjedalu koje je najbolje pozicionirano da odgovori, zajedno sa onim što je već pokušao. Ekspert dobiva pitanje i relevantne utvrđene rezultate, a ne argument koji je proizveo zastoj, tako da je zaglavljivanje manje košta nego raspravljanje.

I sudački alati.

Pravila na kriteriju, dodajte jedan cilj podrazumijeva, usmjeriti sljedeću rundu, ili završiti meč. Kriterij se ne može označiti ispunjen bez dokaza treće strane koja bi mogla ponovno provjeriti - citat sa citatom, ili izračun sa njegovim stvarnim izlazom. To odbijanje je nametnuto u kodu, ne traži se ljubazno u promptu.