Comment by pfdietz
8 hours 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.
8 hours 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.
So there is no getting around the fact that someone has to verify something. my point still stands.