Amateur mathematicians solve long-standing maths problems with AI