Comment by pylua

I know he says he’s ant talk a human about the proof, but why can’t he talk to ChatGPT?

Is the cost prohibitive , or a proprietary model?