4 ms·
All we need experts for right now is verifying the formalization of the statement of the problem is correct. The proof itself, that formalization is checked au
by pfdietz 2mo ago
All we need experts for right now is verifying the formalization of the statement of the problem is correct. The proof itself, that formalization is checked automatically.
- paulpauper 2mo agoSo there is no getting around the fact that someone has to verify something. my point still stands.
- pfdietz 2mo agoVerify/check something that is orders of magnitude smaller than the proof. It's like reading the abstract vs. reading the paper.