'Proof by intimidation': AI is confidently solving 'impossible' math problems | Dark Hacker News