You couldn't be more off-target on your conclusions, which probably means that your reasoning capacity isn't as good as you think it is.
First of all, I'm not in university. I'm a self-taught guy, 41 years old, which wouldn't bother going through a book on AI just to fool myself, pretending I'm learning something, since it won't be in my résumé, considering I only do it for fun.
What about if I can't find a proof or if I'm not sure my implementation, even if finding a solution, isn't performing badly because of the way I have formalized my constraints, for instance? How can I measure if they work satisfactorily if I don't have anything against which to compare? And if I just plainly don't succeed in finding a solution after trying hard? Or if I'm just stupid? I have this right here, I suppose, or some would have gotten banned already.
Your post is just preposterous and arrogant. I was just asking for a piece of information and not for a presumtuous didactic judgement.