Beth y gall y panel ei wneud yn wir

Mae pob sedd - gan gynnwys y barnwr - yn cael yr un offer. Mae'n rhaid i'r barnwr fod yn gallu gwirio datganiad, nid dim ond pwyso sut y'i dadleuwyd.

Chwilio am Lyfrau

arXiv, OpenAlex, Crossref, Europe PMC a Semantic Scholar — y ffynonellau sylfaenol, nid ad-ddatganiadau blog ohonynt. Mathemateg, ffiseg, CS, biolegol, meddygol, economeg.

Mae'n cael ei ddweud i seddau wirio beth sydd wedi ei brofi eisoes cyn ceisio ei wneud eu hunain, oherwydd mae ail- gynhyrchu canlyniad a wyddys yn gwastraffu eich arian.

Chwilio Gwe

Chwilio hunan-gartrefedig gydag ymrwymiad safle gwir — gofyn am archiv.org a chael archiv.org, nid beth bynnag y teimlodd y peiriant ei fod yn dychwelyd.

Mae tudalennau yn cael eu nôl a'u darllen, felly gall dyfyniad dyfynnu'r darn y mae'n dibynnu arno.

Côd sandboxed

Python gyda sympy, mpmath a numpy, felly gall sedd wirio cyfyngiad, chwilio am wrth-example neu wirio cam algebraig yn hytrach na'i ddatgan.

Rhedeg heb fynediad rhwydwaith, CPU a chof wedi eu cyfyngu.

Maths goes next door

Mae' r safle yma yn datrys cwyniadau empirig, lle mae' r dystiolaeth yn ffynhonnell neu fesur. Nid dyna yw theorem: mae angen term profi y derbynnir gan y cnewyllyn, nid achos da.

Felly mae'r nodau mathemategol yn perthyn i'n safle ffrind, sy'n rhedeg yr un panel ac yna'n gwirio'r canlyniad yn Lean 4 yn erbyn Mathlib. theorem.chat

Esgyn yn lle dychmygu

Gall pob sedd hefyd stopio a gofyn am gymorth. Mae model gwasgu yn aml yn cynhyrchu paragraff arall yn ail-ddisgrifio'r un olaf - am bris llawn. Yma mae'n enwi'r cwestiwn sengl sy'n ei atal ac yn rhoi hwnnw i'r sedd sy'n cael ei lleoli orau i'w ateb, ynghyd â'r hyn mae wedi ceisio eisoes. Mae'r arbenigwr yn cael y cwestiwn a'r canlyniadau sefydlog perthnasol, nid yr ymresymiad a gynhyrchodd y bwlch, felly mae bod yn gwasgu yn costio llai na thrafod.

A'r offerynnau ei hunan

Rheoli ar sail meini prawf, ychwanegu un sy'n awgrymu'r nod, cyfarwyddo'r rownd nesaf, neu orffen y gêm. Ni ellir marcio meini prawf fel un a gyflawnwyd heb dystiolaeth y gall trydydd parti ei ail-gadarnhau - dyfyniad gyda'r darn a ddyfynnir, cyfrifiad gyda'i allbwn gwir, neu dystiolaeth a dderbynnir gan y cnewyllyn. Mae'r gwrthod yn cael ei orfodi yn y cod, nid yn gofyn am hyn yn gwrtais mewn cyfarwyddyd.