AI-generated construction resolves Erdős unit distance problem using number-field and class-field techniques | Raisolo