AI Can Find Hundreds of Software Bugs -- Fixing Them Is Another Story