Settu markmiđiđ.
Dómari ákveður hvenær það er lokið.

Dķmari ákveđur á grundvelli sönnunargagna, ekki á grundvelli ūess hver hljķmar öruggari.

Byrjaðu leik
Sanna stærđfræđilega fullyrðingu? theorem.chat keyrir sama spjaldið og síðan formalizes niðurstöðu í Lean gegn Mathlib, þar sem kjarninn ákveður.
Sönnunargögn, ekki skoðanir

Hvert sæti leitar í bókmenntum um arXiv, OpenAlex, Crossref og Europe PMC, les upprunalega textann og keyrir Python til að athuga reiknirit í stað þess að fullyrða það.

Fastur er hreyfing, ekki bilun

Þegar sæti lendir á vegg stoppar það og gefur eina sérstaka spurningu til hvers sætis sem er best staðsett til að svara henni - með bara þeirri spurningu, ekki alla sögu. Ódýrara en að láta módel thrash, og það opnar venjulega.

Long markmið lifa

Allt sem er komið á fót fer í sameiginlegan höfuðbók, þannig að ekkert er endurheimt og ekkert gleymt.Matches gera hlé og halda áfram án þess að tapa vinnu - loka flipanum og koma aftur á morgun.