Comment by @d0wnlore • Hey

The best solution is a mix of both: algos and human provers. X is a good example of why human provers are still need (they have bot algos but not tuned for