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