OpenAI claims maths breakthrough on a famed 'Millennium Problem' | Hacker News Reader