Hacker News Reader

GPT-3 is approximate remixes of old text. How is that at all relevant to theorem proving, which is a search problem?

Any proof is also a remix of old text (and often times old ideas too)