AI cracked an Erdős math problem. Now experts want guardrails | Dark Hacker News