alt Hacker NewsBecause the tools don't understand the papers either. We know for a fact that:
1. These tools are wrong a significant % of the time
2. They have an upper complexity bound where they start to fall apart
Relying on AI to check AI papers is a terrible idea
Replies
Madmallard • today at 5:10 AM
Yes you're replying to astroturfers or AI psychosis victims.
So, just like humans then?
But where they do differ is they do have an infinite stamina, and can work on problems in loops, self-correcting their own mistakes if a formal way of checking the correctness of the solution exists. Which does happen to be the case with math.