Did the ChatGPT Erdos controversy obscure a real achievement? 2 points by maxutility 15 hours ago 1 comments story