Hacker News new | ask | show | jobs
by messe 1 day ago
But part of the point of mathematics is human understanding. I think most would be willing to accept the proof. They just wouldn't think it's nearly as useful as one that could be understood.