OpenAI claims maths breakthrough on a famed 'Millennium Problem'

[dupe] Discussion on source: https://news.ycombinator.com/item?id=49613262