Deze kleine veronderstellingen die door LLM's worden bewezen, zijn een op de miljoen correcte bewijzen. Indrukwekkend, maar een beetje zoals circuspaarden die tot vijf kunnen tellen.