Technology: Top AI conference bans ChatGPT in paper submissions (and why it matters)