4 ms·

So it's designed for informal proofs and it "verifies" based on a rubric fitting function and human interaction, is that right? What's the use case for a syste

So it's designed for informal proofs and it "verifies" based on a rubric fitting function and human interaction, is that right? What's the use case for a system like this?

blazespin 11mo ago
Advanced math solving, as the results indicate. Informal proof reasoning is advancing faster than formal proof reasoning because the latter is slow and compute intensive. I suspect it's also because there isn't a lot of data to train on.