So, here is an example of what I'm talking about. ChatGPT even guesses what we're trying to do (division), but the code is completely wrong. That's where a proof checker comes in: it is able to actually answer whether the code is junk, so i