3 ms·
What about GPT-f? It's a language model that proved theorems in the metamath formal system.
by hakuseki 5y ago
What about GPT-f? It's a language model that proved theorems in the metamath formal system.
- 6gvONxR4sf7o 5y agoI'd definitely say it understands those theorems with respect to the metamath formal system then. The next question is what it understands the proofs with respect to.