OpenAI says its models proved the local smoothing conjecture in every dimension

AI's role in proving complex mathematical conjectures could revolutionize mathematical research, enhancing collaboration and verification.