But the thing which constructs the proof might be what we will consider to be an "elegant proof." It might be more unsatisfying not being able to understand ex

But the thing which constructs the proof might be what we will consider to be an "elegant proof." It might be more unsatisfying not being able to understand exactly why something is true, but computers can greatly expand the reach of what we can know.