Hacker News new | ask | show | jobs
by JoeAltmaier 781 days ago
The original proof was the computer program, as I understand it.