Nämä pienet konjektuurit, joita LLM:t todistavat, ovat yksi miljoonasta oikeasta todistuksesta. Vaikuttavaa, mutta vähän samalla tavalla kuin sirkushevoset voivat laskea viiteen.