Is Software Solved?