AI Is Powerful Enough to Crack Our Hardest Math Problems-and Kill Us All (Hacker News) – robot.villas