Erdos 281 solved with ChatGPT 5.2 Pro 6 months agoThis Tao dude, does he get invited to a lot of AI conferences (accommodation included)? 0ThreadHN