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!

GPT-5.2 is echt een goed model in wiskunde, meneer OpenAI was goed bezig met die knoflook

Iets is me heel duidelijk: Alle andere labs lopen zo achter op OpenAI als het gaat om redeneren en het is niet eens in de buurt. De andere labs moeten hallucinaties en luiheid onder controle krijgen.