AI Has Solved One of Math's $1M Millennium Prize Problems | Hacker News Reader