And more importantly, the solution is not actually verified in any way. It might be wrong.
I don't understand (as a complete laymen) why the milestone isn't something classically hard but easily verified (in line with you). I feel like it's weird because people have spent a lot of time telling me how trivially quantum computing will break encryption that defeats normal computers.