AI cracks 80-year-old mathematics challenge (Nature) | Hacker News Reader