> It's like they can't step back from the problem and realise that they need to simplify to make it work better. Nope, just keep hammering more code/proofs against the problem and eventually you'll hit the goal.
There is nothing wrong with that approach if it accomplishes the goal faster, i.e. you can work at the speed of an AI.
There is nothing wrong with that approach if it accomplishes the goal faster, i.e. you can work at the speed of an AI.