4 ms·
That's great, but does that particular model also know if/when/that it does not know?
by c0l0 2y ago
That's great, but does that particular model also know if/when/that it does not know?
- foota 2y agoNever? Edit: To defend my response, the model definitely knows when it hasn't yet found a correct response, but this is categorically different from knowing that it does not know (and of course monkeys and typewriters etc., can always find a proof eventually if one exists).
- ibash 2y agoYes > AlphaProof is a system that trains itself to prove mathematical statements in the formal language Lean. … Formal languages offer the critical advantage that proofs involving mathematical reasoning can be formally verified for correctness.
- diffeomorphism 2y agoWhile that was probably meant to be rhetorical, the answer surprisingly seems to be an extremely strong "Yes, it does". Exciting times.