Comment Comment by sukilot GPT-3 is approximate remixes of old text. How is that at all relevant to theorem proving, which is a search problem? parent sukilot 6 years ago
