Full threadpylua·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?View on HN