Isn’t the proof of this theorem like millions of pages long or something (proof done by a computer ) ? I mean how can you even be sure that it is correct ? There might be some error somewhere.
How do we even come up with such amazing problems right ? It’s fascinating.
It’s a good one.
What do you mean?