AI Solves a Major Unsolved Math Problem. Not Everyone Is Happy | Dark Hacker News