Comment by 7373737373
12 hours ago
Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
12 hours ago
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.