logoalt Hacker News

7373737373 • last Saturday at 8:10 PM • 1 reply • view on HN

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

Replies

charlieyu1 • last Saturday at 9:22 PM

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