Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
I’d like to see four color conjecture and an elementary proof of FLT.
I’d like to see four color conjecture and an elementary proof of FLT.