Amateur mathematicians solve long-standing Erdős maths problems with AI