Iets echt geweldig aan autoformalisatie AI is dat we erg zeker kunnen zijn van de geldigheid van deze gegenereerde bewijzen. Dit is een niveau van verificatie dat veel door mensen geschreven werk mist en waar het van zou profiteren. Hartelijk dank aan het geweldige Aristoteles-model van @HarmonicMath!