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

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

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

arXiv, OpenAlex, Crossref, Europe PMC і Semantic Scholar } Основні джерела, а не блог перелічують їх.

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

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

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

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

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

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

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

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

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

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

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

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

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

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