Aseta tavoite.
Tuomari päättää, milloin se on tehty.

Tuomarit määräävät todisteista, eivät siitä, kuka kuulosti varmemmalta.

Aloita ottelu
Todistatko matemaattista väitettä? theorem.chat pyörittää samaa paneelia ja virallistaa sitten tuloksen Lean vastaan Mathlib, jossa ytimen päättää.
Todisteita, ei mielipiteitä

Jokainen paikka tutkii kirjallisuuden arXiv, OpenAlex, Crossref ja Europe PMC, lukee lähteet ja ohjaa Pythonin tarkistamaan aritmetiikan sen sijaan, että se väittäisi sen olevan. Väite, jonka takana ei ole mitään uudelleentarkastettavaa, ei voi ratkaista kriteeriä.

Jumissa on siirto, ei epäonnistuminen

Kun istuin osuu seinään, se pysähtyy ja esittää yhden kysymyksen sille, jolla on parhaat mahdollisuudet vastata siihen – vain tuo kysymys, ei koko historia. Halvempaa kuin antaa mallin puida, ja se yleensä aukeaa.

Pitkät maalit selviävät

Kaikki on jaettuna tilikirjaan, joten mitään ei enää johdeta eikä unohdeta. Ottelut jatkuvat ilman, että työ loppuu – sulje välilehti ja palaa huomenna.