4 ms·'Proof by intimidation': AI is confidently solving 'impossible' math problems3 points by sonabinu 8mo ago