undefined | Better HN

0 pointshakuseki4y ago0 comments

What about GPT-f? It's a language model that proved theorems in the metamath formal system.

0 comments

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.

j / k navigate · click thread line to collapse

0 pointshakuseki4y ago0 comments

What about GPT-f? It's a language model that proved theorems in the metamath formal system.

0 comments

6gvONxR4sf7o4y 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.

j / k navigate · click thread line to collapse