Te drobne przypuszczenia udowodnione przez LLM są jedną na milion poprawnych dowodów. Imponujące, ale trochę w ten sam sposób, w jaki konie cyrkowe potrafią liczyć do pięciu.