3 ms·
GPT-3 is approximate remixes of old text. How is that at all relevant to theorem proving, which is a search problem?
by sukilot 6y ago
GPT-3 is approximate remixes of old text. How is that at all relevant to theorem proving, which is a search problem?
- serendipityrecs 6y agoAny proof is also a remix of old text (and often times old ideas too)