Solve complex mathematical proofs with this GPT trained on thousands of papers
https://chat.openai.com/g/g-Us3duRSbU-mathproofgpt