Що може зробити панель

Кожен сидіння, включаючи рефері, отримує однакові інструменти.

Пошук літератури

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

Море має перевірити, що вже доведено, перш ніж спробувати самі, тому що повторне отримання відомого результату марнує ваші гроші.

Пошук у Тенетах

Само-учасник пошуку з реальним обмеженням місця ♫ Запитувати arxiv.org і отримати arxiv.org, не те, що відчував двигун, коли повертається.

Сторінки відсилаються і читаються, тому цитата може цитувати уривок, на який вона покладається.

Код з пісочницею

Python з sympy, mpmath і nonpy, отже сидіння може перевіряти зв' язок, шукати контрприклад або перевіряти алгебраїчний крок, замість того, щоб його заявити.

Виконується без доступу до мережі, закритого процесора і пам' яті.

Математика йде по сусідству

Це місце вирішує емпіричні твердження, де докази є джерелом або вимірювання. Теорема не така: йому потрібен доказ, який приймає ядро, а не добре продуманий випадок.

Отже, математичні цілі належать нашому брату чи сестрі, який за допомогою тієї ж панелі перевіряє результат - Lean 4 проти Mathlib. theorem.chat

Пересування замість вгадування

Кожне місце також може зупинитися і попросити допомоги. Загадкова модель зазвичай створює ще один абзац, який відпочиває останню } за повну ціну. Тут наведено питання, що блокують її, і руки, на яке найкраще місце буде розташовано, разом з тим, що він вже намагався. Експерт отримує питання і відповідні встановлені результати, а не аргумент, який спричинив безперешкодний контроль, отже, його вартість не перевищує вартість аргументу.

І власні інструменти рефері

Правило за критерієм, додати мету, що натякає на наступний раунд або завершити партію. Не можна позначати критерій без доказів, що третя сторона може повторно перевірити } a } з цитатою або обчисленням з його справжнім виводом. У коді відмова не вимагає ввічливого запрошення.