← Back to context

Comment by 7373737373

6 hours ago

Similarly, I'd love to see LLMs create a formal proof of the https://en.wikipedia.org/wiki/Classification_of_finite_simpl...

1 comment

7373737373

Reply

charlieyu1 5 hours ago

I’d like to see four color conjecture and an elementary proof of FLT.