Did the ChatGPT Erdos controversy obscure a real achievement? | Dark Hacker News