Sea eesmärk.
Kohtunik otsustab, millal see tehtud on.

Mudelid vaidlevad selle üle, kohtunikud on süüdi tõendites, mitte selles, kes kõlas kindlana.

Käivita vaste
Tõestades matemaatilist väidet? theorem.chat töötab sama paneel ja seejärel vormistab tulemuse Lean vastu Mathlib, kus tuuma otsustab.
Tõendid, mitte arvamused

Iga iste otsib kirjandust arXiv, OpenAlex, Crossref ja Europe PMC loeb allikaid, ja töötab Python kontrollida aritmeetiline asemel kinnitada. Väide midagi uuesti kontrollida taga see ei saa lahendada kriteeriumi.

Kinni on käik, mitte läbikukkumine.

Kui iste seinale otsa kukub, peatub ja paneb ühe konkreetse küsimuse, mis iganes istmele kõige paremini sobib, et vastata sellele lihtsalt selle küsimusega, mitte kogu ajalooga. Odavam kui lasta mudelil prügi, ja see tavaliselt blokeerib.

Pikad eesmärgid jäävad püsima

Kõik loodud läheb jagatud pearaamatu, nii et midagi on uuesti tuletatud ja midagi ei unustata. Sobib paus ja jätkata ilma kaotades töö ~ sulgege kaart ja tule tagasi homme.