Y
Hacker News
new
|
ask
|
show
|
jobs
by
hakuseki
1771 days ago
What about GPT-f? It's a language model that proved theorems in the metamath formal system.
1 comments
6gvONxR4sf7o
1771 days ago
I'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.
link