Aceste conjecturi minore demonstrate de LLM-uri sunt demonstrații corecte de una la un milion. Impresionant, dar puțin la fel cum caii de circ pot număra până la cinci.