Што можа рабіць панель
Кожны з членаў - уключаючы суддзю - атрымлівае аднолькавыя інструменты. Суддзя павінен быць у стане праверыць заяву, а не толькі ацаніць, як яна была аргументаваная.
Пошук літаратуры
arXiv, OpenAlex, Crossref, Europe PMC і Semantic Scholar — асноўныя крыніца, не блог пераказ іх. Матэматыка, фізіка, CS, біялогія, медыцына, эканоміка.
Усе гэтыя рэчы былі выкарыстаны для стварэння ідэі, што ідэя павінна быць вядомай, бо яна з'яўляецца вынікам дзейнасці.
Пошук у СецівеName
Самастойны пошук з рэальным абмежаваннем сайта — запытайце arxiv.org і вы атрымаеце arxiv.org, а не тое, што рухавік думаў, што вярнуў.
Усе тэксты і выявы, якія змяшчаюцца ў ёй, могуць быць выкарыстаны для стварэння тэкстаў, якія могуць быць выкарыстаны для стварэння выявы.
Код у пясчаным сховішчы
Python з sympy, mpmath і numpy, так што месца можа праверыць межы, шукаць кантрапрыклад або праверыць алгебраічны крок замест яго пацверджання.
Некаторыя з іх не маюць патрэбы ў абароне, а некаторыя маюць патрэбу ў абароне.
Матэматыка ідзе па суседству
Гэты сайт разглядае эмпірычныя заявы, дзе доказы з' яўляюцца крыніцай або вымярэнняў. Тэорыя не гэта: яна патрабуе даказанага тэрміна, які ядра прымае, а не добра аргументаваны выпадак.
So mathematical goals belong on our sibling site, which runs the same panel and then checks the result in Lean 4 against Mathlib. theorem.chat
Эскаляцыя замест здагадкі
Кожны з месцаў можа спыніцца і папрасіць дапамогі. Застрэленая мадэль звычайна выпрацоўвае новы параграф, які пераказвае апошні - па поўнай цане. Тут яна называе адзінае пытанне, якое яго затрымлівае, і перадае яго таму месцу, якое найбольш падыходзіць для адказу, разам з тым, што ўжо паспрабавала. Эксперт атрымлівае пытанне і адпаведныя вызначаныя вынікі, а не аргумент, які выклікаў застою, таму застрэленасць каштуе менш, чым аргументаванне.
І ўласныя інструменты суддзі
Праверыць на крытэрах, дадаць адзін з крытэраў, якія вызначае мэта, кіраваць наступным раўндам або скончыць гульню. Крытэр не можа быць пазначаны як выкананы без доказу, які можа быць правераны трэцяй асобай - цытаты з цытаваным пасланнем, вылічэнні з рэальным вывадам або доказ, прыняты ядром. Гэтая адмова ўкараняецца ў кодзе, не просіць пра гэта ўважліва ў запыце.