Hacker News Reader

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.

View on HN

So there is no getting around the fact that someone has to verify something. my point still stands.

Verify/check something that is orders of magnitude smaller than the proof. It's like reading the abstract vs. reading the paper.

Reply on news.ycombinator.com