Čovjek rješava 80 godina, ChatGPT 80 minuta: Kako je riješio Erdösov problem