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