Čo panel skutočne dokáže

Každé miesto – vrátane rozhodcu – dostane rovnaké nástroje, rozhodca musí byť schopný skontrolovať tvrdenie, nielen zvážiť, ako bolo argumentované.

Vyhľadávanie literatúry

arXiv, OpenAlex, Crossref, Europe PMC a Semantic Scholar — primárne zdroje, nie ich blogové prepisy.Matematika, fyzika, CS, biológia, medicína, ekonómia.

Sedadlám sa hovorí, aby si skontrolovali, čo už bolo dokázané, skôr ako sa o to pokúsia sami, pretože opätovné odvodenie známeho výsledku plytvá vašimi peniazmi.

Webový prieskum

Self-hosted vyhľadávanie s reálnym obmedzením stránky — požiadajte o arxiv.org a dostanete arxiv.org, nie čokoľvek, čo sa vyhľadávaciemu nástroju páčilo vrátiť.

Stránky sú načítané a prečítané, takže citácia môže citovať pasáž, na ktorej sa skutočne zakladá.

Kód v pieskovisku

Python s sympy, mpmath a numpy, takže sedadlo môže skontrolovať hranicu, hľadať protipríklad alebo overiť algebraický krok namiesto toho, aby ho tvrdil.

Beží bez prístupu k sieti, obmedzený CPU a pamäť.

Matematika ide ďalej

Táto stránka sa zaoberá empirickými tvrdeniami, kde dôkaz je zdroj alebo meranie.Teória nie je to: potrebuje dôkaz, ktorý jadro akceptuje, nie dobre argumentovaný prípad.

Matematické ciele teda patria na našu súrodencovskú stránku, ktorá prevádzkuje rovnaký panel a potom kontroluje výsledok v Lean 4 proti Mathlib. theorem.chat

Eskalácia namiesto hádania

Každé miesto sa môže tiež zastaviť a požiadať o pomoc. Model, ktorý sa zasekne, zvyčajne vyprodukuje ďalší odsek, ktorý opakuje posledný — za plnú cenu. Tu pomenuje jedinú otázku, ktorá ho blokuje a odovzdá ju tomu miestu, ktoré je najlepšie umiestnené na zodpovedanie, spolu s tým, čo už skúsilo. Expert dostane otázku a relevantné stanovené výsledky, nie argument, ktorý spôsobil pat, takže byť zaseknutý stojí menej ako argumentovať.

A vlastné nástroje rozhodcu

Rozhodnúť o kritériu, pridať kritérium, ktoré cieľ naznačuje, riadiť ďalšie kolo, alebo ukončiť zápas. Kritérium nemôže byť označené ako splnené bez dôkazu, ktorý by tretia strana mohla znovu skontrolovať - citácia s citovanou pasážou, alebo výpočet s jeho skutočným výstupom. Toto odmietnutie je vynútené v kóde, nie je to žiadané zdvorilo v prompte.