AI ResearchAI Is Powerful Enough to Crack Our Hardest Math Problems—and Kill Us AllTThe Wall Street Journal1h ago