What real-world benefits are there behind proving Fermat's last theorem? | Hacker News Reader