5 ms·
The nice thing about math is that often it's much harder to find a proof than to verify that proof. So math AI is allowed to make lots of dumb mistakes, we just
by ciphol 4y ago
The nice thing about math is that often it's much harder to find a proof than to verify that proof. So math AI is allowed to make lots of dumb mistakes, we just want it to make the occasional real finding too.
- MauranKilom 4y agoUnless we also ask AI to do the proof verification...
- rowanG077 4y agoWhy would you do that? Proof verification is pretty much a solved problem.