Hacker News new | ask | show | jobs
by p333347 3454 days ago
The task of verification looks like a nice AI problem to solve.