Hacker News2d ago

AI Is Powerful Enough to Crack Our Hardest Math Problems–and Kill Us All