logoalt Hacker News

messeyesterday at 7:53 AM0 repliesview on HN

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.