Y
Hacker News
new
|
ask
|
show
|
jobs
by
7373737373
14 days ago
Similarly, I'd love to see LLMs create a formal proof of the
https://en.wikipedia.org/wiki/Classification_of_finite_simpl...
1 comments
charlieyu1
14 days ago
I’d like to see four color conjecture and an elementary proof of FLT.
link