veryfineperson

ChatGPT solves Erdos problem #1196 in 80min chatgpt.com/share/69dd1c...