I guess, how similar? Im confused because my understanding of ChatGPT is that it isnt doing any mathematical reasoning (which is why it gets lots of multiplication wrong), so solving a novel proof is clearly outside its