I will spend some time attempting to use AI to assist me in solving open Erdos problems. I am an undergrad and have some math background. I did alright on the Putnam. If I do it, I will post publicly available proof.