Doubt if you can make a dumb model smart by feeding it proofs