3 ms·
Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups https://en.wikipedia.org/wiki/
by 7373737373 3mo ago
Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simple_groups https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
- charlieyu1 3mo agoI’d like to see four color conjecture and an elementary proof of FLT.